Hi I have posted my query here ( http://answers.ontotext.com/questions/1193/symmetric-property-optimization).
Still I have not solved the issue. Herewith I am enclosing the .pie rule files. Please help me to fix this asap. My application is in production environment, I have to solve it asap. Thanks Anand
/* OWLIM rules and axioms for the TRREE engine * * This file holds the entailment rules and consistency checks for the OWL2 RL profile, * see http://www.w3.org/TR/owl2-profiles/#OWL_2_RL * * Every rule consists of one or more premises and one or more corollaries * in the following format: * * Rules * { * Id: Rule_Id * < Premise #1 > * < Premise #2 > * . . . * < Premise #n > * --------------------- * < Corollary #1 > * < Corollary #2 > * . . . * < Corollary #m > * } * * Every premise may contain constraints stating that the value of one or * more variables in the statement must not be equal to a full URI, a short name * or the value of another variable from the same rule. * This is written in the following format: * * . . . . . . . . . . . * a <mynamespace:myproperty> b [Constraint a != b] * <mynamespace:Instance_1.0> a c [Constraint a != <rdf:type>, c != a, c != b] * ----------------------------------- * c a b * b <rdf:type> <mynamespace:Instance_1.0> [Constraint b != <http://www.w3.org/2000/01/rdf-schema#Class>] * * Every left value in the not-equal constraint must denote a variable * and every right value can be a variable, a short name or a full URI. * Not-equal constraints may be used to force the engine not to apply * the rule when the constraints are not satisfied. This will improve * engine's performance. * Constraints are valid anywhere within the rule-body. * If a variable is not bound yet then the constraint is considered satisfied * (and therefore does not apply). * In the rule head, a constraint only affects the production of the rule conclusion it neighbours. * * In addition one or more axioms may be added in the following format: * * Axioms * { * < Axiom #1 > * < Axiom #2 > * . . . * < Axiom #n > * } * * The premises, the corollaries and the axioms must be written in N-Triple format. * The subject, the predicate and the object must denote a full URI or * a short name in format <Prefix>:<LocalName> where <Prefix> is defined in * the prefix section written in the following format: * * Prefices * { * < Prefix #1 > : < Full URI for prefix #1 > * < Prefix #2 > : < Full URI for prefix #2 > * . . . . . . . . . . . . . . * < Prefix #n > : < Full URI for prefix #n > * } * * The sections must be arranged in the following order: * * Prefices // If any * { * . . . * } * Axioms // If any * { * . . . * } * Rules // Must necessarily be present * { * . . . * } * * Variables in rules are alpha-numeric and must NOT be surrounded by angle braces. */ Prefices { rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns# rdfs : http://www.w3.org/2000/01/rdf-schema# owl : http://www.w3.org/2002/07/owl# xsd : http://www.w3.org/2001/XMLSchema# onto : http://www.ontotext.com/ socure : http://www.semanticweb.org/socure.me/activityOntology# friendOf : http://www.semanticweb.org/socure.me/activityOntology#friendOf } Axioms { // ======================================================================== // RDF axiomatic triples // ======================================================================== // The following RDF axiomatic triples were taken from here: // http://www.w3.org/TR/rdf-mt/#RDFINTERP // ======================================================================== <rdf:type> <rdf:type> <rdf:Property> <rdf:subject> <rdf:type> <rdf:Property> <rdf:predicate> <rdf:type> <rdf:Property> <rdf:object> <rdf:type> <rdf:Property> <rdf:first> <rdf:type> <rdf:Property> <rdf:rest> <rdf:type> <rdf:Property> <rdf:value> <rdf:type> <rdf:Property> <rdf:_1> <rdf:type> <rdf:Property> <rdf:nil> <rdf:type> <rdf:List> // ======================================================================== // RDFS axiomatic triples // ======================================================================== // The following RDFS axiomatic triples were taken from here: // http://www.w3.org/TR/rdf-mt/#RDFSINTERP // ======================================================================== <rdf:type> <rdfs:domain> <rdfs:Resource> <rdfs:domain> <rdfs:domain> <rdf:Property> <rdfs:range> <rdfs:domain> <rdf:Property> <rdfs:subPropertyOf> <rdfs:domain> <rdf:Property> <rdfs:subClassOf> <rdfs:domain> <rdfs:Class> <rdf:subject> <rdfs:domain> <rdf:Statement> <rdf:predicate> <rdfs:domain> <rdf:Statement> <rdf:object> <rdfs:domain> <rdf:Statement> <rdfs:member> <rdfs:domain> <rdfs:Resource> <rdf:first> <rdfs:domain> <rdf:List> <rdf:rest> <rdfs:domain> <rdf:List> <rdfs:seeAlso> <rdfs:domain> <rdfs:Resource> <rdfs:isDefinedBy> <rdfs:domain> <rdfs:Resource> <rdfs:comment> <rdfs:domain> <rdfs:Resource> <rdfs:label> <rdfs:domain> <rdfs:Resource> <rdf:value> <rdfs:domain> <rdfs:Resource> <rdf:type> <rdfs:range> <rdfs:Class> <rdfs:domain> <rdfs:range> <rdfs:Class> <rdfs:range> <rdfs:range> <rdfs:Class> <rdfs:subPropertyOf> <rdfs:range> <rdf:Property> <rdfs:subClassOf> <rdfs:range> <rdfs:Class> <rdf:subject> <rdfs:range> <rdfs:Resource> <rdf:predicate> <rdfs:range> <rdfs:Resource> <rdf:object> <rdfs:range> <rdfs:Resource> <rdfs:member> <rdfs:range> <rdfs:Resource> <rdf:first> <rdfs:range> <rdfs:Resource> <rdf:rest> <rdfs:range> <rdf:List> <rdfs:seeAlso> <rdfs:range> <rdfs:Resource> <rdfs:isDefinedBy> <rdfs:range> <rdfs:Resource> <rdfs:comment> <rdfs:range> <rdfs:Literal> <rdfs:label> <rdfs:range> <rdfs:Literal> <rdf:value> <rdfs:range> <rdfs:Resource> <rdf:Alt> <rdfs:subClassOf> <rdfs:Container> <rdf:Bag> <rdfs:subClassOf> <rdfs:Container> <rdf:Seq> <rdfs:subClassOf> <rdfs:Container> <rdfs:ContainerMembershipProperty> <rdfs:subClassOf> <rdf:Property> <rdfs:isDefinedBy> <rdfs:subPropertyOf> <rdfs:seeAlso> <rdf:XMLLiteral> <rdf:type> <rdfs:Datatype> <rdf:XMLLiteral> <rdfs:subClassOf> <rdfs:Literal> <rdfs:Datatype> <rdfs:subClassOf> <rdfs:Class> <rdf:_1> <rdf:type> <rdfs:ContainerMembershipProperty> <rdf:_1> <rdfs:domain> <rdfs:Resource> <rdf:_1> <rdfs:range> <rdfs:Resource> // ======================================================================== // OWL Vocabulary // ======================================================================== // The following 'axiomatic triples for the OWL vocabulary were taken from here: // http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/#A_Set_of_Axiomatic_Triples // ======================================================================== // Table 6.1: Axiomatic Triples for the Classes of the OWL 2 RDF-Based Vocabulary <owl:AllDifferent> <rdf:type> <rdfs:Class> <owl:AllDifferent> <rdfs:subClassOf> <rdfs:Resource> <owl:AllDisjointClasses> <rdf:type> <rdfs:Class> <owl:AllDisjointClasses> <rdfs:subClassOf> <rdfs:Resource> <owl:AllDisjointProperties> <rdf:type> <rdfs:Class> <owl:AllDisjointProperties> <rdfs:subClassOf> <rdfs:Resource> <owl:Annotation> <rdf:type> <rdfs:Class> <owl:Annotation> <rdfs:subClassOf> <rdfs:Resource> <owl:AnnotationProperty> <rdf:type> <rdfs:Class> <owl:AnnotationProperty> <rdfs:subClassOf> <rdf:Property> <owl:AsymmetricProperty> <rdf:type> <rdfs:Class> <owl:AsymmetricProperty> <rdfs:subClassOf> <owl:ObjectProperty> <owl:Axiom> <rdf:type> <rdfs:Class> <owl:Axiom> <rdfs:subClassOf> <rdfs:Resource> <owl:Class> <rdf:type> <rdfs:Class> <owl:Class> <rdfs:subClassOf> <rdfs:Class> <owl:DataRange> <rdf:type> <rdfs:Class> <owl:DataRange> <rdfs:subClassOf> <rdfs:Datatype> <owl:DatatypeProperty> <rdf:type> <rdfs:Class> <owl:DatatypeProperty> <rdfs:subClassOf> <rdf:Property> <owl:DeprecatedClass> <rdf:type> <rdfs:Class> <owl:DeprecatedClass> <rdfs:subClassOf> <rdfs:Class> <owl:DeprecatedProperty> <rdf:type> <rdfs:Class> <owl:DeprecatedProperty> <rdfs:subClassOf> <rdf:Property> <owl:FunctionalProperty> <rdf:type> <rdfs:Class> <owl:FunctionalProperty> <rdfs:subClassOf> <rdf:Property> <owl:InverseFunctionalProperty> <rdf:type> <rdfs:Class> <owl:InverseFunctionalProperty> <rdfs:subClassOf> <owl:ObjectProperty> <owl:IrreflexiveProperty> <rdf:type> <rdfs:Class> <owl:IrreflexiveProperty> <rdfs:subClassOf> <owl:ObjectProperty> <owl:NamedIndividual> <rdf:type> <rdfs:Class> <owl:NamedIndividual> <rdfs:subClassOf> <owl:Thing> <owl:NegativePropertyAssertion> <rdf:type> <rdfs:Class> <owl:NegativePropertyAssertion> <rdfs:subClassOf> <rdfs:Resource> <owl:Nothing> <rdf:type> <owl:Class> <owl:Nothing> <rdfs:subClassOf> <owl:Thing> <owl:ObjectProperty> <rdf:type> <rdfs:Class> <owl:ObjectProperty> <rdfs:subClassOf> <rdf:Property> <owl:Ontology> <rdf:type> <rdfs:Class> <owl:Ontology> <rdfs:subClassOf> <rdfs:Resource> <owl:OntologyProperty> <rdf:type> <rdfs:Class> <owl:OntologyProperty> <rdfs:subClassOf> <rdf:Property> <owl:ReflexiveProperty> <rdf:type> <rdfs:Class> <owl:ReflexiveProperty> <rdfs:subClassOf> <owl:ObjectProperty> <owl:Restriction> <rdf:type> <rdfs:Class> <owl:Restriction> <rdfs:subClassOf> <owl:Class> <owl:SymmetricProperty> <rdf:type> <rdfs:Class> <owl:SymmetricProperty> <rdfs:subClassOf> <owl:ObjectProperty> <owl:Thing> <rdf:type> <owl:Class> <owl:TransitiveProperty> <rdf:type> <rdfs:Class> <owl:TransitiveProperty> <rdfs:subClassOf> <owl:ObjectProperty> // Table 6.2: Axiomatic Triples for the Properties of the OWL 2 RDF-Based Vocabulary <owl:allValuesFrom> <rdf:type> <rdf:Property> <owl:allValuesFrom> <rdfs:domain> <owl:Restriction> <owl:allValuesFrom> <rdfs:range> <rdfs:Class> <owl:annotatedProperty> <rdf:type> <rdf:Property> <owl:annotatedProperty> <rdfs:domain> <rdfs:Resource> <owl:annotatedProperty> <rdfs:range> <rdfs:Resource> <owl:annotatedSource> <rdf:type> <rdf:Property> <owl:annotatedSource> <rdfs:domain> <rdfs:Resource> <owl:annotatedSource> <rdfs:range> <rdfs:Resource> <owl:annotatedTarget> <rdf:type> <rdf:Property> <owl:annotatedTarget> <rdfs:domain> <rdfs:Resource> <owl:annotatedTarget> <rdfs:range> <rdfs:Resource> <owl:assertionProperty> <rdf:type> <rdf:Property> <owl:assertionProperty> <rdfs:domain> <owl:NegativePropertyAssertion> <owl:assertionProperty> <rdfs:range> <rdf:Property> <owl:backwardCompatibleWith> <rdf:type> <owl:AnnotationProperty> <owl:backwardCompatibleWith> <rdf:type> <owl:OntologyProperty> <owl:backwardCompatibleWith> <rdfs:domain> <owl:Ontology> <owl:backwardCompatibleWith> <rdfs:range> <owl:Ontology> <owl:bottomDataProperty> <rdf:type> <owl:DatatypeProperty> <owl:bottomDataProperty> <rdfs:domain> <owl:Thing> <owl:bottomDataProperty> <rdfs:range> <rdfs:Literal> <owl:bottomObjectProperty> <rdf:type> <owl:ObjectProperty> <owl:bottomObjectProperty> <rdfs:domain> <owl:Thing> <owl:bottomObjectProperty> <rdfs:range> <owl:Thing> <owl:cardinality> <rdf:type> <rdf:Property> <owl:cardinality> <rdfs:domain> <owl:Restriction> <owl:cardinality> <rdfs:range> <xsd:nonNegativeInteger> <owl:complementOf> <rdf:type> <rdf:Property> <owl:complementOf> <rdfs:domain> <owl:Class> <owl:complementOf> <rdfs:range> <owl:Class> <owl:datatypeComplementOf> <rdf:type> <rdf:Property> <owl:datatypeComplementOf> <rdfs:domain> <rdfs:Datatype> <owl:datatypeComplementOf> <rdfs:range> <rdfs:Datatype> <owl:deprecated> <rdf:type> <owl:AnnotationProperty> <owl:deprecated> <rdfs:domain> <rdfs:Resource> <owl:deprecated> <rdfs:range> <rdfs:Resource> <owl:differentFrom> <rdf:type> <rdf:Property> <owl:differentFrom> <rdfs:domain> <owl:Thing> <owl:differentFrom> <rdfs:range> <owl:Thing> <owl:disjointUnionOf> <rdf:type> <rdf:Property> <owl:disjointUnionOf> <rdfs:domain> <owl:Class> <owl:disjointUnionOf> <rdfs:range> <rdf:List> <owl:disjointWith> <rdf:type> <rdf:Property> <owl:disjointWith> <rdfs:domain> <owl:Class> <owl:disjointWith> <rdfs:range> <owl:Class> <owl:distinctMembers> <rdf:type> <rdf:Property> <owl:distinctMembers> <rdfs:domain> <owl:AllDifferent> <owl:distinctMembers> <rdfs:range> <rdf:List> <owl:equivalentClass> <rdf:type> <rdf:Property> <owl:equivalentClass> <rdfs:domain> <rdfs:Class> <owl:equivalentClass> <rdfs:range> <rdfs:Class> <owl:equivalentProperty> <rdf:type> <rdf:Property> <owl:equivalentProperty> <rdfs:domain> <rdf:Property> <owl:equivalentProperty> <rdfs:range> <rdf:Property> <owl:hasKey> <rdf:type> <rdf:Property> <owl:hasKey> <rdfs:domain> <owl:Class> <owl:hasKey> <rdfs:range> <rdf:List> <owl:hasSelf> <rdf:type> <rdf:Property> <owl:hasSelf> <rdfs:domain> <owl:Restriction> <owl:hasSelf> <rdfs:range> <rdfs:Resource> <owl:hasValue> <rdf:type> <rdf:Property> <owl:hasValue> <rdfs:domain> <owl:Restriction> <owl:hasValue> <rdfs:range> <rdfs:Resource> <owl:imports> <rdf:type> <owl:OntologyProperty> <owl:imports> <rdfs:domain> <owl:Ontology> <owl:imports> <rdfs:range> <owl:Ontology> <owl:incompatibleWith> <rdf:type> <owl:AnnotationProperty> <owl:incompatibleWith> <rdf:type> <owl:OntologyProperty> <owl:incompatibleWith> <rdfs:domain> <owl:Ontology> <owl:incompatibleWith> <rdfs:range> <owl:Ontology> <owl:intersectionOf> <rdf:type> <rdf:Property> <owl:intersectionOf> <rdfs:domain> <rdfs:Class> <owl:intersectionOf> <rdfs:range> <rdf:List> <owl:inverseOf> <rdf:type> <rdf:Property> <owl:inverseOf> <rdfs:domain> <owl:ObjectProperty> <owl:inverseOf> <rdfs:range> <owl:ObjectProperty> <owl:maxCardinality> <rdf:type> <rdf:Property> <owl:maxCardinality> <rdfs:domain> <owl:Restriction> <owl:maxCardinality> <rdfs:range> <xsd:nonNegativeInteger> <owl:maxQualifiedCardinality> <rdf:type> <rdf:Property> <owl:maxQualifiedCardinality> <rdfs:domain> <owl:Restriction> <owl:maxQualifiedCardinality> <rdfs:range> <xsd:nonNegativeInteger> <owl:members> <rdf:type> <rdf:Property> <owl:members> <rdfs:domain> <rdfs:Resource> <owl:members> <rdfs:range> <rdf:List> <owl:minCardinality> <rdf:type> <rdf:Property> <owl:minCardinality> <rdfs:domain> <owl:Restriction> <owl:minCardinality> <rdfs:range> <xsd:nonNegativeInteger> <owl:minQualifiedCardinality> <rdf:type> <rdf:Property> <owl:minQualifiedCardinality> <rdfs:domain> <owl:Restriction> <owl:minQualifiedCardinality> <rdfs:range> <xsd:nonNegativeInteger> <owl:onClass> <rdf:type> <rdf:Property> <owl:onClass> <rdfs:domain> <owl:Restriction> <owl:onClass> <rdfs:range> <owl:Class> <owl:onDataRange> <rdf:type> <rdf:Property> <owl:onDataRange> <rdfs:domain> <owl:Restriction> <owl:onDataRange> <rdfs:range> <rdfs:Datatype> <owl:onDatatype> <rdf:type> <rdf:Property> <owl:onDatatype> <rdfs:domain> <rdfs:Datatype> <owl:onDatatype> <rdfs:range> <rdfs:Datatype> <owl:oneOf> <rdf:type> <rdf:Property> <owl:oneOf> <rdfs:domain> <rdfs:Class> <owl:oneOf> <rdfs:range> <rdf:List> <owl:onProperty> <rdf:type> <rdf:Property> <owl:onProperty> <rdfs:domain> <owl:Restriction> <owl:onProperty> <rdfs:range> <rdf:Property> <owl:onProperties> <rdf:type> <rdf:Property> <owl:onProperties> <rdfs:domain> <owl:Restriction> <owl:onProperties> <rdfs:range> <rdf:List> <owl:priorVersion> <rdf:type> <owl:AnnotationProperty> <owl:priorVersion> <rdf:type> <owl:OntologyProperty> <owl:priorVersion> <rdfs:domain> <owl:Ontology> <owl:priorVersion> <rdfs:range> <owl:Ontology> <owl:propertyChainAxiom> <rdf:type> <rdf:Property> <owl:propertyChainAxiom> <rdfs:domain> <owl:ObjectProperty> <owl:propertyChainAxiom> <rdfs:range> <rdf:List> <owl:propertyDisjointWith> <rdf:type> <rdf:Property> <owl:propertyDisjointWith> <rdfs:domain> <rdf:Property> <owl:propertyDisjointWith> <rdfs:range> <rdf:Property> <owl:qualifiedCardinality> <rdf:type> <rdf:Property> <owl:qualifiedCardinality> <rdfs:domain> <owl:Restriction> <owl:qualifiedCardinality> <rdfs:range> <xsd:nonNegativeInteger> <owl:sameAs> <rdf:type> <rdf:Property> <owl:sameAs> <rdfs:domain> <owl:Thing> <owl:sameAs> <rdfs:range> <owl:Thing> <owl:someValuesFrom> <rdf:type> <rdf:Property> <owl:someValuesFrom> <rdfs:domain> <owl:Restriction> <owl:someValuesFrom> <rdfs:range> <rdfs:Class> <owl:sourceIndividual> <rdf:type> <rdf:Property> <owl:sourceIndividual> <rdfs:domain> <owl:NegativePropertyAssertion> <owl:sourceIndividual> <rdfs:range> <owl:Thing> <owl:targetIndividual> <rdf:type> <rdf:Property> <owl:targetIndividual> <rdfs:domain> <owl:NegativePropertyAssertion> <owl:targetIndividual> <rdfs:range> <owl:Thing> <owl:targetValue> <rdf:type> <rdf:Property> <owl:targetValue> <rdfs:domain> <owl:NegativePropertyAssertion> <owl:targetValue> <rdfs:range> <rdfs:Literal> <owl:topDataProperty> <rdf:type> <owl:DatatypeProperty> <owl:topDataProperty> <rdfs:domain> <owl:Thing> <owl:topDataProperty> <rdfs:range> <rdfs:Literal> <owl:topObjectProperty> <rdf:type> <rdf:ObjectProperty> <owl:topObjectProperty> <rdfs:domain> <owl:Thing> <owl:topObjectProperty> <rdfs:range> <owl:Thing> <owl:unionOf> <rdf:type> <rdf:Property> <owl:unionOf> <rdfs:domain> <rdfs:Class> <owl:unionOf> <rdfs:range> <rdf:List> <owl:versionInfo> <rdf:type> <owl:AnnotationProperty> <owl:versionInfo> <rdfs:domain> <rdfs:Resource> <owl:versionInfo> <rdfs:range> <rdfs:Resource> <owl:versionIRI> <rdf:type> <owl:OntologyProperty> <owl:versionIRI> <rdfs:domain> <owl:Ontology> <owl:versionIRI> <rdfs:range> <owl:Ontology> <owl:withRestrictions> <rdf:type> <rdf:Property> <owl:withRestrictions> <rdfs:domain> <rdfs:Datatype> <owl:withRestrictions> <rdfs:range> <rdf:List> // Table 6.3: Axiomatic Triples for the Datatypes of the OWL 2 RDF-Based Semantics <xsd:anyURI> <rdf:type> <rdfs:Datatype> <xsd:anyURI> <rdfs:subClassOf> <rdfs:Literal> <xsd:base64Binary> <rdf:type> <rdfs:Datatype> <xsd:base64Binary> <rdfs:subClassOf> <rdfs:Literal> <xsd:boolean> <rdf:type> <rdfs:Datatype> <xsd:boolean> <rdfs:subClassOf> <rdfs:Literal> <xsd:byte> <rdf:type> <rdfs:Datatype> <xsd:byte> <rdfs:subClassOf> <rdfs:Literal> <xsd:dateTime> <rdf:type> <rdfs:Datatype> <xsd:dateTime> <rdfs:subClassOf> <rdfs:Literal> <xsd:dateTimeStamp> <rdf:type> <rdfs:Datatype> <xsd:dateTimeStamp> <rdfs:subClassOf> <rdfs:Literal> <xsd:decimal> <rdf:type> <rdfs:Datatype> <xsd:decimal> <rdfs:subClassOf> <rdfs:Literal> <xsd:double> <rdf:type> <rdfs:Datatype> <xsd:double> <rdfs:subClassOf> <rdfs:Literal> <xsd:float> <rdf:type> <rdfs:Datatype> <xsd:float> <rdfs:subClassOf> <rdfs:Literal> <xsd:hexBinary> <rdf:type> <rdfs:Datatype> <xsd:hexBinary> <rdfs:subClassOf> <rdfs:Literal> <xsd:int> <rdf:type> <rdfs:Datatype> <xsd:int> <rdfs:subClassOf> <rdfs:Literal> <xsd:integer> <rdf:type> <rdfs:Datatype> <xsd:integer> <rdfs:subClassOf> <rdfs:Literal> <xsd:language> <rdf:type> <rdfs:Datatype> <xsd:language> <rdfs:subClassOf> <rdfs:Literal> <xsd:long> <rdf:type> <rdfs:Datatype> <xsd:long> <rdfs:subClassOf> <rdfs:Literal> <xsd:Name> <rdf:type> <rdfs:Datatype> <xsd:Name> <rdfs:subClassOf> <rdfs:Literal> <xsd:NCName> <rdf:type> <rdfs:Datatype> <xsd:NCName> <rdfs:subClassOf> <rdfs:Literal> <xsd:negativeInteger> <rdf:type> <rdfs:Datatype> <xsd:negativeInteger> <rdfs:subClassOf> <rdfs:Literal> <xsd:NMTOKEN> <rdf:type> <rdfs:Datatype> <xsd:NMTOKEN> <rdfs:subClassOf> <rdfs:Literal> <xsd:nonNegativeInteger> <rdf:type> <rdfs:Datatype> <xsd:nonNegativeInteger> <rdfs:subClassOf> <rdfs:Literal> <xsd:nonPositiveInteger> <rdf:type> <rdfs:Datatype> <xsd:nonPositiveInteger> <rdfs:subClassOf> <rdfs:Literal> <xsd:normalizedString> <rdf:type> <rdfs:Datatype> <xsd:normalizedString> <rdfs:subClassOf> <rdfs:Literal> <rdf:PlainLiteral> <rdf:type> <rdfs:Datatype> <rdf:PlainLiteral> <rdfs:subClassOf> <rdfs:Literal> <xsd:positiveInteger> <rdf:type> <rdfs:Datatype> <xsd:positiveInteger> <rdfs:subClassOf> <rdfs:Literal> <owl:rational> <rdf:type> <rdfs:Datatype> <owl:rational> <rdfs:subClassOf> <rdfs:Literal> <owl:real> <rdf:type> <rdfs:Datatype> <owl:real> <rdfs:subClassOf> <rdfs:Literal> <xsd:short> <rdf:type> <rdfs:Datatype> <xsd:short> <rdfs:subClassOf> <rdfs:Literal> <xsd:string> <rdf:type> <rdfs:Datatype> <xsd:string> <rdfs:subClassOf> <rdfs:Literal> <xsd:token> <rdf:type> <rdfs:Datatype> <xsd:token> <rdfs:subClassOf> <rdfs:Literal> <xsd:unsignedByte> <rdf:type> <rdfs:Datatype> <xsd:unsignedByte> <rdfs:subClassOf> <rdfs:Literal> <xsd:unsignedInt> <rdf:type> <rdfs:Datatype> <xsd:unsignedInt> <rdfs:subClassOf> <rdfs:Literal> <xsd:unsignedLong> <rdf:type> <rdfs:Datatype> <xsd:unsignedLong> <rdfs:subClassOf> <rdfs:Literal> <xsd:unsignedShort> <rdf:type> <rdfs:Datatype> <xsd:unsignedShort> <rdfs:subClassOf> <rdfs:Literal> <rdf:XMLLiteral> <rdf:type> <rdfs:Datatype> <rdf:XMLLiteral> <rdfs:subClassOf> <rdfs:Literal> // Table 6.4: Axiomatic Triples for the Facets of the OWL 2 RDF-Based Semantics <rdf:langRange> <rdf:type> <owl:DatatypeProperty> <rdf:langRange> <rdfs:domain> <rdfs:Resource> <rdf:langRange> <rdfs:range> <rdfs:Literal> <xsd:length> <rdf:type> <owl:DatatypeProperty> <xsd:length> <rdfs:domain> <rdfs:Resource> <xsd:length> <rdfs:range> <rdfs:Literal> <xsd:maxExclusive> <rdf:type> <owl:DatatypeProperty> <xsd:maxExclusive> <rdfs:domain> <rdfs:Resource> <xsd:maxExclusive> <rdfs:range> <rdfs:Literal> <xsd:maxInclusive> <rdf:type> <owl:DatatypeProperty> <xsd:maxInclusive> <rdfs:domain> <rdfs:Resource> <xsd:maxInclusive> <rdfs:range> <rdfs:Literal> <xsd:maxLength> <rdf:type> <owl:DatatypeProperty> <xsd:maxLength> <rdfs:domain> <rdfs:Resource> <xsd:maxLength> <rdfs:range> <rdfs:Literal> <xsd:minExclusive> <rdf:type> <owl:DatatypeProperty> <xsd:minExclusive> <rdfs:domain> <rdfs:Resource> <xsd:minExclusive> <rdfs:range> <rdfs:Literal> <xsd:minInclusive> <rdf:type> <owl:DatatypeProperty> <xsd:minInclusive> <rdfs:domain> <rdfs:Resource> <xsd:minInclusive> <rdfs:range> <rdfs:Literal> <xsd:minLength> <rdf:type> <owl:DatatypeProperty> <xsd:minLength> <rdfs:domain> <rdfs:Resource> <xsd:minLength> <rdfs:range> <rdfs:Literal> <xsd:pattern> <rdf:type> <owl:DatatypeProperty> <xsd:pattern> <rdfs:domain> <rdfs:Resource> <xsd:pattern> <rdfs:range> <rdfs:Literal> // Table 6.5: Additional Axiomatic Triples for Classes and Properties of the RDFS Vocabulary <rdfs:Class> <rdfs:subClassOf> <owl:Class> <rdfs:comment> <rdf:type> <owl:AnnotationProperty> <rdfs:comment> <rdfs:domain> <rdfs:Resource> <rdfs:comment> <rdfs:range> <rdfs:Literal> <rdfs:Datatype> <rdfs:subClassOf> <owl:DataRange> <rdfs:isDefinedBy> <rdf:type> <owl:AnnotationProperty> <rdfs:isDefinedBy> <rdfs:domain> <rdfs:Resource> <rdfs:isDefinedBy> <rdfs:range> <rdfs:Resource> <rdfs:label> <rdf:type> <owl:AnnotationProperty> <rdfs:label> <rdfs:domain> <rdfs:Resource> <rdfs:label> <rdfs:range> <rdfs:Literal> <rdfs:Literal> <rdf:type> <rdfs:Datatype> <rdf:Property> <rdfs:subClassOf> <owl:ObjectProperty> <rdfs:Resource> <rdfs:subClassOf> <owl:Thing> <rdfs:seeAlso> <rdf:type> <owl:AnnotationProperty> <rdfs:seeAlso> <rdfs:domain> <rdfs:Resource> <rdfs:seeAlso> <rdfs:range> <rdfs:Resource> // ======================================================================== // OWL2 RL - Axioms about properties // ======================================================================== // rule: prp_ap // ------------ <rdfs:label> <rdf:type> <owl:AnnotationProperty> <rdfs:comment> <rdf:type> <owl:AnnotationProperty> <rdfs:seeAlso> <rdf:type> <owl:AnnotationProperty> <rdfs:isDefinedBy> <rdf:type> <owl:AnnotationProperty> <owl:deprecated> <rdf:type> <owl:AnnotationProperty> <owl:versionInfo> <rdf:type> <owl:AnnotationProperty> <owl:priorVersion> <rdf:type> <owl:AnnotationProperty> <owl:backwardCompatibleWith> <rdf:type> <owl:AnnotationProperty> <owl:incompatibleWith> <rdf:type> <owl:AnnotationProperty> // ======================================================================== // OWL2 RL - Axioms about classes // ======================================================================== // rule: cls_thing // --------------- <owl:Thing> <rdf:type> <owl:Class> // rule: cls_nothing1 // ------------------ <owl:Nothing> <rdf:type> <owl:Class> // ======================================================================== // OWL2 RL - Axioms about datatypes // ======================================================================== // rule: dt-type1 // -------------- <rdf:PlainLiteral> <rdf:type> <rdfs:Datatype> <rdf:XMLLiteral> <rdf:type> <rdfs:Datatype> <rdfs:Literal> <rdf:type> <rdfs:Datatype> <xsd:decimal> <rdf:type> <rdfs:Datatype> <xsd:integer> <rdf:type> <rdfs:Datatype> <xsd:nonNegativeInteger> <rdf:type> <rdfs:Datatype> <xsd:nonPositiveInteger> <rdf:type> <rdfs:Datatype> <xsd:positiveInteger> <rdf:type> <rdfs:Datatype> <xsd:negativeInteger> <rdf:type> <rdfs:Datatype> <xsd:long> <rdf:type> <rdfs:Datatype> <xsd:int> <rdf:type> <rdfs:Datatype> <xsd:short> <rdf:type> <rdfs:Datatype> <xsd:byte> <rdf:type> <rdfs:Datatype> <xsd:unsignedLong> <rdf:type> <rdfs:Datatype> <xsd:unsignedInt> <rdf:type> <rdfs:Datatype> <xsd:unsignedShort> <rdf:type> <rdfs:Datatype> <xsd:unsignedByte> <rdf:type> <rdfs:Datatype> <xsd:float> <rdf:type> <rdfs:Datatype> <xsd:double> <rdf:type> <rdfs:Datatype> <xsd:string> <rdf:type> <rdfs:Datatype> <xsd:normalizedString> <rdf:type> <rdfs:Datatype> <xsd:token> <rdf:type> <rdfs:Datatype> <xsd:language> <rdf:type> <rdfs:Datatype> <xsd:Name> <rdf:type> <rdfs:Datatype> <xsd:NCName> <rdf:type> <rdfs:Datatype> <xsd:NMTOKEN> <rdf:type> <rdfs:Datatype> <xsd:boolean> <rdf:type> <rdfs:Datatype> <xsd:hexBinary> <rdf:type> <rdfs:Datatype> <xsd:base64Binary> <rdf:type> <rdfs:Datatype> <xsd:anyURI> <rdf:type> <rdfs:Datatype> <xsd:dateTime> <rdf:type> <rdfs:Datatype> <xsd:dateTimeStamp> <rdf:type> <rdfs:Datatype> } Rules { Id: socure_friend_of x <http://www.semanticweb.org/socure.me/activityOntology#friendOf> y ------------------------------- y <http://www.semanticweb.org/socure.me/activityOntology#friendOf> x Consistency: consis_1 x rdf:type <http://www.semanticweb.org/socure.me/activityOntology#User> ------------------------------- Consistency: consis_2 y rdf:type <http://www.semanticweb.org/socure.me/activityOntology#User> ------------------------------- }
socurebuiltins2.pie
Description: Binary data
socurebuiltins1.pie
Description: Binary data
_______________________________________________ Owlim-discussion mailing list Owlim-discussion@ontotext.com http://ontomail.semdata.org/cgi-bin/mailman/listinfo/owlim-discussion