### Logic Framework Extension -- Jos De Roo ### importing http://www.w3.org/2000/10/swap/log @prefix e: . @prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . @prefix xsd: . <> owl:imports . e:Builtin a rdfs:Class; rdfs:comment "class of builtins" . e:F a rdfs:Class; rdfs:comment "class of things that are not the case" . e:Fact a rdfs:Class; rdfs:comment "class of facts" . e:Lemma a rdfs:Class; rdfs:comment "class of lemmas" . e:T a rdfs:Class; rdfs:comment "class of things that are the case" . e:T0 a rdfs:Class; rdfs:comment "class of things that are time reference points" . e:allAncestors a rdf:Property, e:Builtin; rdfs:comment "builtin to collect all ancestor triples of subject"; rdfs:domain log:Formula; rdfs:range log:Formula . e:allDescendents a rdf:Property, e:Builtin; rdfs:comment "builtin to collect all descendent triples of subject"; rdfs:domain log:Formula; rdfs:range log:Formula . e:bayesRule a rdf:Property; rdfs:comment "Bayes Rule justification"; rdfs:domain rdfs:Resource; rdfs:range rdf:List . e:bchain a rdfs:Resource; rdfs:comment "flag to indicate backchain only inferencing" . e:because a rdf:Property; rdfs:comment "proof of formula"; rdfs:domain rdfs:Resource; rdfs:range rdfs:Resource . e:biconditional a rdf:Property, e:Builtin; rdfs:comment "builtin and object is conditional belief of first element of subject list given rest of subject list"; rdfs:domain rdf:List; rdfs:range xsd:decimal . e:binaryEntropy a rdf:Property, e:Builtin; rdfs:comment "builtin to calculate binary entropy e.g. 0.25 e:binaryEntropy 0.8112781244591328."; rdfs:domain xsd:decimal; rdfs:range xsd:decimal . e:boolean a rdf:Property; rdfs:comment "to model a logical proposition"; rdfs:domain rdfs:Resource; rdfs:range [ owl:oneOf (e:F e:T)] . e:clashesWith a rdf:Property; rdfs:comment "to say that the graph is XSD-inconsistent or has a datatype clash"; rdfs:domain rdfs:Literal; rdfs:range rdfs:Datatype . e:columns a rdf:Property; rdfs:comment "to list the webized relational database collumns"; rdfs:domain rdfs:Class; rdfs:range rdf:List . e:conditional a rdf:Property; rdfs:comment "object is conditional belief of first element of subject list given rest of subject list"; rdfs:domain rdf:List; rdfs:range xsd:decimal . e:consistentGives a rdf:Property; rdfs:comment "used in e:falseModel explanation"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:counterModel a rdf:Property; rdfs:comment "object is a counter model"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:delta a rdf:Property; rdfs:comment "used in proof output to explain belief differences"; rdfs:domain rdf:List; rdfs:range xsd:decimal . e:disjunction a rdf:Property; rdfs:comment "similar to log:conjunction but is logical OR and is used for rules with disjunctions in the conclusion"; rdfs:domain rdf:List; rdfs:range log:Formula . e:distinct a rdf:Property, e:Builtin; rdfs:comment "builtin to remove duplicate list items"; rdfs:domain rdf:List; rdfs:range rdf:List . e:evidence a rdf:Property; rdfs:comment "to say that subject has an evident relationship with object either as fact or as conclusion of rule"; rdfs:domain log:Formula; rdfs:range rdfs:Resource . e:falseAncestors a rdf:Property; rdfs:comment "used in e:falseModel explanation"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:falseDescendents a rdf:Property; rdfs:comment "used in e:falseModel explanation"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:falseModel a rdf:Property; rdfs:comment "object is a false model"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:findall a rdf:Property, e:Builtin; rdfs:comment "builtin that (?SCOPE ?SPAN) e:findall (?SELECT ?WHERE ?ANSWER). unifies ?ANSWER with a list that contains all the instantiations of ?SELECT satisfying the ?WHERE clause in the ?SCOPE ?SPAN of all asserted n3 formulae and their log:conclusion"; rdfs:domain rdf:List; rdfs:range rdf:List . e:graphDifference a rdf:Property, e:Builtin; rdfs:comment "builtin used for graph difference e.g. ({:a :b :c. :d :e :f} {:d :e :f}) e:graphDifference {:a :b :c}."; rdfs:domain rdf:List; rdfs:range log:Formula . e:graphIntersection a rdf:Property, e:Builtin; rdfs:comment "builtin used for graph intersection e.g. ({:a :b :c. :d :e :f} {:d :e :f}) e:graphIntersection {:d :e :f}."; rdfs:domain rdf:List; rdfs:range log:Formula . e:graphList a rdf:Property, e:Builtin; rdfs:comment "builtin used for graph/list transformation e.g. {:a :b :c. :d :e :f} e:graphList ({:a :b :c} {:d :e :f})."; rdfs:domain log:Formula; rdfs:range rdf:List. e:integrityConstraint a rdf:Property; rdfs:comment "used in e:falseModel explanation"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:kb a rdfs:Resource; rdfs:comment "RDF dataset plus rdfs:clashesWith triples" . e:label a rdf:Property, e:Builtin; rdfs:comment "builtin to test wether the subject is a blank node and return the relabeled blank node label as object (this is a level breaker)"; rdfs:domain rdfs:Resource; rdfs:range rdfs:Literal . e:length a rdf:Property, e:Builtin; rdfs:comment "builtin that calculates the length of the subject list"; rdfs:domain rdf:List; rdfs:range xsd:integer . e:max a rdf:Property, e:Builtin; rdfs:comment "builtin to maximum of the subject list"; rdfs:domain rdf:List; rdfs:range rdfs:Resource . e:min a rdf:Property, e:Builtin; rdfs:comment "builtin to minimum of the subject list"; rdfs:domain rdf:List; rdfs:range rdfs:Resource . e:notLabel a rdf:Property, e:Builtin; rdfs:comment "builtin to test wether the subject is not a blank node with label in object (this is a level breaker)"; rdfs:domain rdfs:Resource; rdfs:range rdfs:Literal . e:optional a rdf:Property, e:Builtin; rdfs:comment "builtin to call object formula and to succeed anyway"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:pair a rdf:Property, e:Builtin; rdfs:comment "builtin to succeed if object list is a sublist of length 2 or its reverse"; rdfs:domain rdf:List; rdfs:range rdf:List . e:possibility a rdf:Property; rdfs:comment "proof possibility"; rdfs:domain log:Formula; rdfs:range xsd:decimal . e:possibleModel a rdf:Property; rdfs:comment "object is a possible model"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:proof a rdf:Property; rdfs:comment "proof formula"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:proofID a rdf:Property; rdfs:comment "proof ID"; rdfs:domain rdfs:Resource; rdfs:range xsd:integer . e:propertyChainExtension a rdf:Property, e:Builtin; rdfs:comment "builtin to support owl:propertyChain inferencing i.e. {?sc owl:propertyChain ?x; rdfs:subPropertyOf ?p. ?x e:propertyChainExtension (?s ?o)} => {?s ?p ?o}."; rdfs:domain rdf:List; rdfs:range rdf:List . e:reverse a rdf:Property, e:Builtin; rdfs:comment "builtin to reverse the subject list"; rdfs:domain rdf:List; rdfs:range rdf:List . e:roc a rdf:Property, e:Builtin; rdfs:comment "builtin to simulate ROC curve e.g. strength e:roc (sensitivity aspecificity)."; rdfs:domain xsd:decimal; rdfs:range rdf:List . e:selected a rdf:Property; rdfs:comment "used in e:falseModel explanation"; rdfs:domain rdfs:Resource; rdfs:range rdfs:Resource . e:sigmoid a rdf:Property, e:Builtin; rdfs:comment "builtin to calculate a sigmoid e.g. -6 e:sigmoid 0.0024726231566347743."; rdfs:domain rdf:List; rdfs:range xsd:decimal . e:sort a rdf:Property, e:Builtin; rdfs:comment "builtin to sort the subject list"; rdfs:domain rdf:List; rdfs:range rdf:List . e:source a rdf:Property; rdfs:comment "source of formula"; rdfs:domain log:Formula; rdfs:range rdfs:Resource . e:sublist a rdf:Property, e:Builtin; rdfs:comment "builtin to succeed if object list is a sublist"; rdfs:domain rdf:List; rdfs:range rdf:List . e:tactic a rdf:Property; rdfs:comment """predicate to express proof tactics"""; rdfs:domain rdf:List; rdfs:range rdf:List . e:timeWindow a rdf:Property; rdfs:comment """day 7 is ("P6D"^^xsd:duration "P1D"^^xsd:duration) and is relative to a e:T0"""; rdfs:domain rdfs:Resource; rdfs:range rdf:List . e:trace a rdf:Property, e:Builtin; rdfs:comment "builtin that outputs the object"; rdfs:domain rdfs:Resource; rdfs:range rdfs:Resource . e:triple a rdf:Property; rdfs:comment "used in e:falseModel explanation"; rdfs:domain rdfs:Resource; rdfs:range log:Formula . e:true a rdf:Property, e:Builtin; rdfs:comment "builtin to model truth-value t(conclusion|premises)"; rdfs:domain rdfs:Resource; rdfs:range xsd:decimal . e:tuple a rdf:Property, e:Builtin; rdfs:comment "builtin skolem function generator"; rdfs:domain rdfs:Resource; rdfs:range rdf:List . e:valuation a rdf:Property; rdfs:domain log:Formula; rdfs:range rdf:List; rdfs:comment "to express (lower upper) valuation of a formula e.g. {:PatientWithNoFlu rdfs:subClassOf :PatientWithFever} e:valuation (0.032 0.048)". e:wwwFormEncode a rdf:Property, e:Builtin; rdfs:comment "builtin bidirectional www form encoder"; rdfs:domain rdfs:Literal; rdfs:range rdfs:Literal .