Supervisor subClassOf supervises some Employee
IF {
?x a Supervisor
}
THEN {
?x supervises ?y .
?y a Employee
}
select * {
?x a Supervisor.
FILTER NOT EXISTS {
?x supervises ?y .
?y a Employee
}
}
Project and (fundedBy only InternalFundingSource) subClassOf approvedBy value InternalBudgetOffice
select * where {
?x a Project .
FILTER NOT EXISTS {
?x fundedBy ?y .
FILTER NOT EXISTS {
?y a InternalFundingSource
}
} .
FILTER NOT EXISTS {
?x approvedBy InternalBudgetOffice
}
}
Supervisor subClassOf supervises some Employee
Alice a Supervisor
VIOLATED Supervisor subClassOf (supervises some Employee)
ASSERTED Alice a Supervisor
NOT_INFERRED x a Employee
Alice supervises x
PREFIX :
PREFIX math:
IF {
?c a :Circle ;
:radius ?r
BIND (math:pi() * math:pow(?r, 2) AS ?area)
}
THEN {
?c :area ?area
}
Bob is-a Admin OR Bob created Resource1 OR (Bob hasRole ?r AND ?r canAccess Resource1) OR ...
Bob canAccess Resource1