#Processed by Id: cwm.py,v 1.197 2007/12/13 15:38:39 syosi Exp # using base http://eulersharp.sourceforge.net/2003/03swap/log-rules.n3 # Notation3 generation by # notation3.py,v 1.200 2007/12/11 21:18:08 syosi Exp # Base was: http://eulersharp.sourceforge.net/2003/03swap/log-rules.n3 @prefix : . @prefix e: . @prefix log: . @prefix owl: . @prefix rdf: . @prefix xsd: . <> <#rcsid> "$Id: log-rules.n3 2189 2008-06-16 19:30:35Z josd $"; owl:imports . e:Builtin a :Class; :comment "class of builtins" . e:F a :Class; :comment "class of things that are not the case" . e:Fact a :Class; :comment "class of facts" . e:Lemma a :Class; :comment "class of lemmas" . e:T a :Class; :comment "class of things that are the case" . e:T0 a :Class; :comment "class of things that are time reference points" . e:bayesRule a rdf:Property; :comment "Bayes Rule justification"; :domain :Resource; :range rdf:List . e:bchain a :Resource; :comment "flag to indicate backchain only inferencing" . e:because a rdf:Property; :comment "proof of formula"; :domain log:Formula; :range log:Formula . e:biconditional a rdf:Property; :comment "builtin and object is conditional belief of first element of subject list given rest of subject list"; :domain :List; :range xsd:decimal . e:binaryEntropy a rdf:Property; :comment "builtin to calculate binary entropy"; :domain xsd:decimal; :range xsd:decimal . e:boolean a rdf:Property; :comment "to model a logical proposition"; :domain :Resource; :range [ owl:oneOf ( e:F e:T ) ] . e:clashesWith a rdf:Property; :comment "to say that the graph is XSD-inconsistent or has a datatype clash"; :domain :Literal; :range :Datatype . e:columns a rdf:Property; :comment "to list the webized relational database collumns"; :domain :Class; :range rdf:List . e:conditional a rdf:Property; :comment "object is conditional belief of first element of subject list given rest of subject list"; :domain :List; :range xsd:decimal . e:counterModel a rdf:Property; :comment "object is a counter model"; :domain :Resource; :range log:Formula . e:delta a rdf:Property; :comment "used in proof output to explain belief differences"; :domain rdf:List; :range xsd:decimal . e:disjunction a rdf:Property; :comment "similar to log:conjunction but is logical OR and is used for rules with disjunctions in the conclusion"; :domain :List; :range log:Formula . e:distinct a rdf:Property; :comment "builtin to remove duplicate list items"; :domain :List; :range rdf:List . e:evidence a rdf:Property; :comment "to say that subject has an evident relationship with object either as fact or as conclusion of rule"; :domain log:Formula; :range :Resource . e:falseModel a rdf:Property; :comment "object is a false model"; :domain :Resource; :range log:Formula . e:findall a rdf:Property; :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"; :domain rdf:List; :range rdf:List . e:instrument a rdf:Property; :comment "builtin used for internal proof instrumentation"; :domain log:Formula; :range :Resource . e:kb a :Resource; :comment "RDF dataset plus :clashesWith triples" . e:length a rdf:Property; :comment "builtin that calculates the length of the subject list"; :domain rdf:List; :range xsd:integer . e:max a rdf:Property; :comment "builtin to maximum of the subject list"; :domain rdf:List; :range :Resource . e:min a rdf:Property; :comment "builtin to minimum of the subject list"; :domain rdf:List; :range :Resource . e:optional a rdf:Property; :comment "builtin to call object formula and to succeed anyway"; :domain :Resource; :range log:Formula . e:pair a rdf:Property; :comment "builtin to succeed if object list is a sublist of length 2 or its reverse"; :domain rdf:List; :range rdf:List . e:possibility a rdf:Property; :comment "proof possibility"; :domain log:Formula; :range xsd:decimal . e:proof a rdf:Property; :comment "proof formula"; :domain :Resource; :range log:Formula . e:proofID a rdf:Property; :comment "proof ID"; :domain :Resource; :range xsd:integer . e:reflexive a rdf:Property; :comment "object is a property that is reflexive"; :domain :Resource; :range rdf:Property . e:reverse a rdf:Property; :comment "builtin to reverse the subject list"; :domain rdf:List; :range rdf:List . e:sort a rdf:Property; :comment "builtin to sort the subject list"; :domain rdf:List; :range rdf:List . e:source a rdf:Property; :comment "source of formula"; :domain log:Formula; :range :Resource . e:sublist a rdf:Property; :comment "builtin to succeed if object list is a sublist"; :domain rdf:List; :range rdf:List . e:timeWindow a rdf:Property; :comment """day 7 is ("P6D"^^xsd:duration "P1D"^^xsd:duration) and is relative to a e:T0"""; :domain :Resource; :range rdf:List . e:tokenize a rdf:Property; :comment "builtin to tokenize via regular expressions"; :domain rdf:List; :range rdf:List . e:trace a rdf:Property; :comment "builtin that outputs the object"; :domain :Resource; :range :Resource . e:true a rdf:Property; :comment "builtin to model truth-value t(conclusion|premises)"; :domain :Resource; :range xsd:decimal . e:tuple a rdf:Property; :comment "builtin skolem function generator"; :domain :Resource; :range rdf:List . e:wwwFormEncode a rdf:Property; :comment "builtin bidirectional www form encoder"; :domain :Literal; :range :Literal . #ENDS