是否可以在OWL2中定义多值DataProperty，以指定在给定情况下应采用的不同值？

Question

我使用OWL-API将本体重新生成为OWL2，并使用Protégé进行了测试。

有些概念是许多超类的子类，有些DataProperty应该采用多个值，例如：

人工位置和人工区域

我想指定：

•对于人工位置 ，DataProperty的hasConcreteEntityType应采用值LOCATION和ARTIFACT

•对于人工区域 ，DataProperty的hasConcreteEntityType应采用值ARTIFACTUAL_LOCATION和AREA

类树和类描述

但是在激活推理机后，我得到的“人工位置”被错误地分类为“ 无” （但不能同时存在）

推论说明

而且我不理解推理解释有什么问题，但是似乎应该有第三种解释，如第二种，但与值AREA有关 ，因此似乎不支持像这样的双值属性，或者也许是定义和约束多值DataProperty的值的另一种方法，甚至是推理器对此也不起作用，

即时通讯使用隐士1.3.8.3

Answer 1

引用我以前的答案的评论（我删除了答案，因为它不正确）

[本体]应该在这里drive.google.com/file/d/0B2FYMQD3DD8DNWtteUlLcDgyTGM/查看我定义的Morphosyntactic Unit的linguisticUnitType属性（有2个值，MORPHOLOGICAL和SYNTACTIC），它被推理机很好地分类了，但是对于Nothing Artifactual Area和Artifactual Location中的类，属性hasConcreteEntityType和hasLocationType的行为不同。 我不明白为什么对一种情况很好，但对另一种情况却不好，因为属性和限制是以相同的方式定义的。

问题在于Artifactual Area被定义为Location子类，这已经将hasConcreteType的值限制为一个值（ LOCATION ）。 为了允许Artifactual Area恰好具有两个值，必须删除或修改对超类的限制。

为了将来参考，功能语法的片段在这里：

Ontology(<http://localhost/pruebaLUO.owl>

DataPropertyDomain(:hasConcreteEntityType :ConcreteEntity)
DataPropertyRange(:hasConcreteEntityType DataOneOf("ARTIFACT"^^xsd:string "FOOD"^^xsd:string "LIVING_ENTITY"^^xsd:string "LOCATION"^^xsd:string "MATERIAL"^^xsd:string "ORGANIC_OBJECT"^^xsd:string "PHYSICAL_OBJECT"^^xsd:string "SUBSTANCE"^^xsd:string))

DataPropertyDomain(:hasLocationType :Location)
DataPropertyRange(:hasLocationType DataOneOf("3D"^^xsd:string "AREA"^^xsd:string "ARTIFACTUAL_LOCATION"^^xsd:string "GEOPOLITICAL"^^xsd:string "OPENING"^^xsd:string "OTHER"^^xsd:string))

DataPropertyDomain(:linguisticUnitType :LinguisticUnit)
DataPropertyRange(:linguisticUnitType DataOneOf("MORPHOLOGICAL"^^xsd:string "SEMANTIC"^^xsd:string "SYNTACTIC"^^xsd:string))

AnnotationAssertion(rdfs:label :Area "Area"@en)
SubClassOf(:Area :Location)
SubClassOf(:Area DataHasValue(:hasLocationType "AREA"^^xsd:string))

AnnotationAssertion(rdfs:label :Artifact "Artifact"@en)
SubClassOf(:Artifact :ConcreteEntity)
SubClassOf(:Artifact DataHasValue(:hasConcreteEntityType "ARTIFACT"^^xsd:string))

SubClassOf(:ArtifactualArea :Area)
SubClassOf(:ArtifactualArea :ArtifactualLocation)
SubClassOf(:ArtifactualArea DataExactCardinality(2 :hasLocationType DataOneOf("AREA"^^xsd:string "ARTIFACTUAL_ LOCATION"^^xsd:string)))

SubClassOf(:ArtifactualLocation :Artifact)
SubClassOf(:ArtifactualLocation :Location)
SubClassOf(:ArtifactualLocation DataHasValue(:hasLocationType "ARTIFACTUAL_ LOCATION"^^xsd:string))
SubClassOf(:ArtifactualLocation DataExactCardinality(2 :hasConcreteEntityType DataOneOf("ARTIFACT"^^xsd:string "LOCATION"^^xsd:string)))

SubClassOf(:Building :ArtifactualLocation)
SubClassOf(:ConcreteEntity :GenericEntity)
SubClassOf(:Entity :PropositionalComponent)
SubClassOf(:GenericEntity :Entity)
SubClassOf(:Location :ConcreteEntity)
SubClassOf(:Location DataHasValue(:hasConcreteEntityType "LOCATION"^^xsd:string))
SubClassOf(:MorphologicalUnit :LinguisticUnit)
SubClassOf(:MorphologicalUnit DataHasValue(:linguisticUnitType "MORPHOLOGICAL"^^xsd:string))
SubClassOf(:MorphosyntacticUnit :MorphologicalUnit)
SubClassOf(:MorphosyntacticUnit :Token)
SubClassOf(:MorphosyntacticUnit DataExactCardinality(2 :linguisticUnitType DataOneOf("MORPHOLOGICAL"^^xsd:string "SYNTACTIC"^^xsd:string)))
SubClassOf(:PropositionalComponent :SemanticUnit)
SubClassOf(:SemanticUnit :LinguisticUnit)
SubClassOf(:SemanticUnit DataHasValue(:linguisticUnitType "SEMANTIC"^^xsd:string))
SubClassOf(:SyntacticUnit :LinguisticUnit)
SubClassOf(:SyntacticUnit DataHasValue(:linguisticUnitType "SYNTACTIC"^^xsd:string))
SubClassOf(:Token :SyntacticUnit)
)