@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <#> .

:hasReasoner a rdf:Property.

:controlledBy a rdf:Property.
	
:usesOntology a rdf:Property.

:Request a rdfs:Class.

:requester a rdf:Property;
        rdfs:domain :Request.

:requestedAction a rdf:Property;
        rdfs:domain :Request.

:requestType a rdf:Property;
        rdfs:domain :Request.

# testing different queries
:answer a rdf:Property;
        rdfs:domain :Request;
        rdfs:range :Answer.

:Answer a rdfs:Class.

:yes a :Answer.
:no a :Answer.

@forAll :policy, :reasoner, :F.
{ :policy.log:semantics log:includes { :policy :usesOntology :ontology }.
  :ontology.log:semantics log:includes {:ontology :hasReasoner :reasoner }.
} => {  :policy :requiresReasoner :reasoner }.


@forAll :policy, :ontology, :F.
{ :policy log:semantics :F.
  :F log:includes { :policy :usesOntology :ontology } 
} => {  :policy :usesOntology :ontology }.

@forAll :resource, :policy, :F.
{ :resource log:semantics :F.
  :F log:includes { :resource :controlledBy :policy } 
} => {  :resource :controlledBy :policy }.