…:range 4.2 Relations to other properties 4.2.1 owl:equivalentProperty 4.2.2 owl:inverseOf 4.3 Global cardinality restrictions on properties 4.3.1 owl:FunctionalProperty 4.3.2 owl:InverseFunctionalProperty 4.4 Logical characteristics of properties 4.4.1 owl:TransitiveProperty 4.4.…

…:range 4.2 Relations to other properties 4.2.1 owl:equivalentProperty 4.2.2 owl:inverseOf 4.3 Global cardinality restrictions on properties 4.3.1 owl:FunctionalProperty 4.3.2 owl:InverseFunctionalProperty 4.4 Logical characteristics of properties 4.4.1 owl:TransitiveProperty 4.4.…

…dinality ?p ?n) (forall ?x (>= (length (values-list ?p ?x)) ?n))) <Property ID="inverseOf"> <comment>for inverseOf(R, S) read: R is the inverse of S; i.e. if R(x, y) then S(y, x) and vice versa.</comment> <domain resource="#Property"/> <range resource="#Property"/> </Property> %%…

…lified Restrictions 7.2.2. UnambiguousProperty 7.2.3. UniqueProp BadName 7.2.4. InverseOf 7.2.5. EquivalentTo 7.2.6. Uniform treatment of literal data values 7.2.7. Language Compliance Levels 7.2.8. drop-disjointUnionOf 7.2.9. IF-or-IFF-property-properties 7.2.10. OWL DL Sytntax …

…1. TransitiveProperty 3.3.2. SymmetricProperty 3.3.3. FunctionalProperty 3.3.4. inverseOf 3.3.5. InverseFunctionalProperty 3.4. Property Restrictions 3.4.1. allValuesFrom, someValuesFrom 3.4.2. Cardinality 3.4.3. hasValue 4. Ontology Mapping 4.1. Equivalence between Classes and P…

…1. TransitiveProperty 3.3.2. SymmetricProperty 3.3.3. FunctionalProperty 3.3.4. inverseOf 3.3.5. InverseFunctionalProperty 3.4. Property Restrictions 3.4.1. allValuesFrom, someValuesFrom 3.4.2. Cardinality 3.4.3. hasValue 4. Ontology Mapping 4.1. Equivalence between Classes and P…

…ng of equivalentTo is completely opaque to such an agent. and zero or more daml:inverseOf elements (each containing a property name), for properties only. Each inverseOf element asserts that P is the inverse relation of the named property. More formally: if the pair (x,y) is an i…

…age" /> <rdfs:range rdf:resource="#VintageYear" /> </owl:ObjectProperty> 3.3.4. inverseOf 如果一个属性P1被标记为属性P2的逆（owl:inverseOf）, 那么对于所有的x 和 y: P1(x,y) 当且仅当P2(y,x) 请注意owl:inverseOf的语法，它仅仅使用一个属性名作为参数。A 当且仅当B 意思是 (A 蕴含 B)并且(B蕴含A). <owl:ObjectProperty rdf:ID="hasMaker"> <rdf:type rdf:res…

…kos:topConceptOf is a sub-property of skos:inScheme S8 skos:topConceptOf is owl:inverseOf the property skos:hasTopConcept 4.4. Integrity Conditions S9 skos:ConceptScheme is disjoint with skos:Concept 4.5. Examples The graph below describes a concept scheme with two SKOS concepts,…

…age" /> <rdfs:range rdf:resource="#VintageYear" /> </owl:ObjectProperty> 3.3.4. inverseOf 如果一个属性P1被标记为属性P2的逆（owl:inverseOf）, 那么对于所有的x 和 y: P1(x,y) 当且仅当P2(y,x) 请注意owl:inverseOf的语法，它仅仅使用一个属性名作为参数。A 当且仅当B 意思是 (A 蕴含 B)并且(B蕴含A). <owl:ObjectProperty rdf:ID="hasMaker"> <rdf:type rdf:res…

…to a class that is (one of) the type(s) the property is expected to be used on. inverseOf Property Relates a property to a property that is its inverse. Inverse properties relate the same pairs of items to each other, but in reversed direction. For example, the 'alumni' and 'alum…

…l:equivalentProperty 7.1.22. owl:imports 7.1.23. owl:intersectionOf 7.1.24. owl:inverseOf 7.1.25. owl:maxCardinality 7.1.26. owl:oneOf 7.1.27. owl:sameAs 7.1.28. owl:someValuesFrom 7.1.29. owl:unionOf 7.2. By Issue 7.2.1. Qualified Restrictions 7.2.2. UnambiguousProperty 7.2.3. U…

…s Other changes in Core section: Issue #637 : Made itemOffered and offers fully inverseOf each other. Issue #2397 : Reworded datePosted to avoid tying this property to overly-specific usecase (i.e. it originally assumed usage only with JobPosting ). Issue #2433 : Shortened defini…

…s Other changes in Core section: Issue #637 : Made itemOffered and offers fully inverseOf each other. Issue #2397 : Reworded datePosted to avoid tying this property to overly-specific usecase (i.e. it originally assumed usage only with JobPosting ). Issue #2433 : Shortened defini…

…) domain( domain 1 ) … domain( domain k ) range( range 1 ) … range( range h ) [ inverseOf( inverse ) ] [ Functional | InverseFunctional | Transitive ] ) [ Symmetric ] ID rdf:type owl:ObjectProperty . [opt if one of the last three triples is included] ID rdf:type rdf:Property . [o…