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

…ctProperty and DatatypeProperty is mentioned above in the property description. inverseOf : One property may be stated to be the inverse of another property. If the property P1 is stated to be the inverse of the property P2, then if X is related to Y by the P2 property, then Y is…

…ept). Inverse roles are explicitly defined using the inverse constructor (-1 or inverseOf in OWL). As shown in the example in Figure 5 , roles inhibits and isInhibitedBy are inverses of one another. Figure 5 The alternative text for this image may have been generated using AI. In…

…/xmlns.com/foaf/0.1/Image>; rdfs:range <http://purl.org/cpr/0.5#medical-sign>; :inverseOf <http://purl.org/cpr/0.5#interpretant-of> . <http://xmlns.com/foaf/0.1/Image> a :Thing . Once an OWL reasoner such as the Closed World Machine is run against the merge of the resulting RDF g…

…Type , interactivityType , interestRate , interpretedAsClaim , inventoryLevel , inverseOf , isAcceptingNewPatients , isAccessibleForFree , isAccessoryOrSparePartFor , isAvailableGenerically , isBasedOn , isBasedOnUrl , isConsumableFor , isEncodedByBioChemEntity , isFamilyFriendly…

…nference DAML+OIL constructs such as TransitiveProperty , UnambiguousProperty , inverseOf , and disjointWith provide additional information for reasoning engines future versions of DAML are expected to support rules, proof-checking, etc. local restrictions RDF associates domain a…

…alCoverage dct:accrualPeriodicity sdo:repeatFrequency prov:wasGeneratedBy [ owl:inverseOf sdo:result ] dcat:Distribution sdo:DataDownload dct:format sdo:encodingFormat dcat:mediaType sdo:encodingFormat dcat:byteSize sdo:contentSize dcat:accessURL sdo:contentUrl dcat:downloadURL s…

…alCoverage dct:accrualPeriodicity sdo:repeatFrequency prov:wasGeneratedBy [ owl:inverseOf sdo:result ] dcat:Distribution sdo:DataDownload dct:format sdo:encodingFormat dcat:mediaType sdo:encodingFormat dcat:byteSize sdo:contentSize dcat:accessURL sdo:contentUrl dcat:downloadURL s…

…pertyAssertion(?p ?s ?o) inverse object properties, i.e., the BGP maps to ObjectInverseOf(?o) where s maps to a blank node and p to owl:inverseOf , subclasses, i.e., the BGP maps to SubClassOf( ?s ?o ) where p binds to rdfs:subClassOf , equivalent classes, i.e., the BGP maps to E…

…verage dcterms:accrualPeriodicity sdo:repeatFrequency prov:wasGeneratedBy [ owl:inverseOf sdo:result ] dcat:inSeries sdo:isPartOf dcat:DatasetSeries sdo:CreativeWorkSeries dcat:Distribution sdo:DataDownload dcterms:format sdo:encodingFormat dcat:mediaType sdo:encodingFormat dcat:…

… that class. If x's parent is y, then y is x's child. This is defined using the inverseOf tag. <daml:ObjectProperty rdf:ID="hasChild"> <daml:inverseOf rdf:resource="#hasParent"/> </daml:ObjectProperty> The hasAncestor and descendent properties are transitive versions of the hasPa…

… measurement of. Range: dqv:Dimension Equivalent to: SubObjectPropertyOf( ObjectInverseOf( daq:hasMetric ) dqv:inDimension DQV usage note: Dimensions are meant to systematically organize metrics, quality certificates and quality annotations. The Data Quality Vocabulary defines no…

…verage dcterms:accrualPeriodicity sdo:repeatFrequency prov:wasGeneratedBy [ owl:inverseOf sdo:result ] dcat:inSeries sdo:isPartOf dcat:DatasetSeries sdo:CreativeWorkSeries dcat:Distribution sdo:DataDownload dcterms:format sdo:encodingFormat dcat:mediaType sdo:encodingFormat dcat:…

…verage dcterms:accrualPeriodicity sdo:repeatFrequency prov:wasGeneratedBy [ owl:inverseOf sdo:result ] dcat:inSeries sdo:isPartOf dcat:DatasetSeries sdo:CreativeWorkSeries dcat:Distribution sdo:DataDownload dcterms:format sdo:encodingFormat dcat:mediaType sdo:encodingFormat dcat:…