…) 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…

…rty is_bought_by as an inverse of buys :is_bought_by a owl:ObjectProperty ; owl:inverseOf :buys . With the purchase relation represented as an instance, however, we need to add inverse relations between participants in the relation and the instance relation itself: For example, t…

…l:equivalentClass ), I( owl:disjointWith ), I( owl:equivalentProperty ), I( owl:inverseOf ), I( owl:sameAs ), I( owl:differentFrom ), I( owl:complementOf ), I( owl:unionOf ), I( owl:intersectionOf ), I( owl:oneOf ), I( owl:allValuesFrom ), I( owl:onProperty ), I( owl:someValuesFr…

…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…

…ary pending wider review. Moved Class, Property, domainIncludes, rangeIncludes, inverseOf, supersededBy into meta (2023 update: these structures are no longer in use). Issue #256 : Implementation of HTTP HEAD for all pages. Issue #1095 : ETag and Last-Modified headers only for su…

…ary pending wider review. Moved Class, Property, domainIncludes, rangeIncludes, inverseOf, supersededBy into meta (2023 update: these structures are no longer in use). Issue #256 : Implementation of HTTP HEAD for all pages. Issue #1095 : ETag and Last-Modified headers only for su…

…rty 6.1.1 Inverse Object Properties An inverse object property expression ObjectInverseOf( P ) connects an individual with if and only if the object property connects with InverseObjectProperty := 'ObjectInverseOf' '(' ObjectProperty ')' Consider the ontology consisting of the fo…

…yID [' Deprecated' ] { annotation { ' super( individualvaluedPropertyID ' } [ ' inverseOf individualvaluedPropertyID ' ] [ ' Symmetric ' ] [ ' Functional | ' InverseFunctional | ' Functional ' ' InverseFunctional ' | ' Transitive { ' domain( classID ' } { ' range( classID ' } ' |…

…erent distinctMembers Property Characteristics: ObjectProperty DatatypeProperty inverseOf TransitiveProperty SymmetricProperty FunctionalProperty InverseFunctionalProperty Property Restrictions: Restriction onProperty allValuesFrom someValuesFrom Restricted Cardinality: minCardin…

…asurement sub-property of rdfs:member oboe:measurementFor sub-property of [ owl:inverseOf rdfs:member ] An RDF file containing a graph corresponding to this alignment is available 6.5 PROV Alignment Module This section is non-normative. This section introduces the alignment of SO…

…asurement sub-property of rdfs:member oboe:measurementFor sub-property of [ owl:inverseOf rdfs:member ] An RDF file containing a graph corresponding to this alignment is available 6.5 PROV Alignment Module This section is non-normative. This section introduces the alignment of SO…

…'supercededBy', "Relates a property to one that supercedes it." > * documented 'inverseOf', "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…

…asurement sub-property of rdfs:member oboe:measurementFor sub-property of [ owl:inverseOf rdfs:member ] An RDF file containing a graph corresponding to this alignment is available 6.5 PROV Alignment Module This section is non-normative. This section introduces the alignment of SO…

…ifferentFrom AllDifferent distinctMembers 屬性特徵： ObjectProperty DatatypeProperty inverseOf TransitiveProperty SymmetricProperty FunctionalProperty InverseFunctionalProperty 屬性約束： Restriction onProperty allValuesFrom someValuesFrom 受限基數： minCardinality (僅僅0或1) maxCardinality (僅僅0或1…

…d 'supercededBy', "Relates a property to one that supercedes it." * documented 'inverseOf', "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 'alumniOf' …