描述逻辑表示，需要对两个人的相同性或异性进行建模

问题描述

我正在尝试在描述逻辑中对以下语句建模。

共同教学人员是指任何教职人员并且至少教过别人教的一门课程

我想到的是： CoTeachingFaculty EQUIV Person INTERSECTION AcademicStaff EXISTS teaches.(Course INTERSECTION EXISTS isTaughtBy.TOP)

我觉得这是一个错误的表示形式，因为EXISTS isTaughtBy.TOP将通过链x--teaches-->c--isTaughtBy-->x将个人与其自身联系起来。因此，即使一个教师不与他人共享课程，她也将属于CoTeachingFaculty班。

因此，需要建立x和y不同的链x--teaches-->c--isTaughtBy-->y。 是否可以在Description Logic框架中为这种情况建模？

解决方法

是的，您的陈述将不会达到预期的效果，这是非常正确的。

我可以想到的两种方法可以或多或少地实现您想要的：

（1）引入一个不自反的coTeachesWith角色，并将teaches定义为 teaches \sqsubseteq coTeachesWith o teaches。这样，您可以声明一位讲师与另一位讲师共同教学，并据此推断您可以讲授相同的课程。不利的一面是，这将推断该讲师讲授的所有课程也将由共同教学讲师讲授-这可能不是您想要的。

（2）另一种方法是使用SWRL规则。这样，您可以提供如下规则：

teaches(?x,?c) ^ teaches(?y,?c) ^ differentFrom(?x,?y) ->

CoTeachingFaculty(?x) ^ CoTeachingFaculty(?y)

下面，我使用这两个选项为本体提供OWL Manchester语法：

前缀：： http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual# 前缀：猫头鹰：http://www.w3.org/2002/07/owl# 前缀：rdf：http://www.w3.org/1999/02/22-rdf-syntax-ns# 前缀：rdfs：http://www.w3.org/2000/01/rdf-schema# 前缀：xml：http://www.w3.org/XML/1998/namespace 前缀：xsd：http://www.w3.org/2001/XMLSchema#

Ontology: <http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual>
<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual/0.0.1>

AnnotationProperty: <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled>   
AnnotationProperty: rdfs:comment
AnnotationProperty: rdfs:label
Datatype: xsd:boolean
Datatype: xsd:string

ObjectProperty: coTeachesWith
    Characteristics: Irreflexive
    Domain: CoTeachingFaculty
    Range: CoTeachingFaculty

ObjectProperty: isTaughtBy
    Domain: Course
    Range: AcademicStaff
    
ObjectProperty: teaches
    SubPropertyChain: coTeachesWith o teaches
    Domain: AcademicStaff
    Range: Course
    
Class: AcademicStaff
    SubClassOf: Person,teaches some Course
    
Class: CoTaughtCourse
    EquivalentTo: isTaughtBy min 2 owl:Thing
    SubClassOf: Course
    
Class: CoTeachingFaculty
    SubClassOf: AcademicStaff
    
Class: Course
    DisjointWith: Person
    
Class: Person
    DisjointWith: Course
    
Class: owl:Thing    

Individual: course1
    Types: Course
    Facts:  
     isTaughtBy  lecturer1,isTaughtBy  lecturer2
    DifferentFrom: course2
    
Individual: course2
    Types: Course
    DifferentFrom: course1
    
Individual: course3

Individual: lecturer1
    Facts:  coTeachesWith  lecturer2
    DifferentFrom: lecturer2
    
Individual: lecturer2
    Facts:  
     teaches  course1,teaches  course2
    DifferentFrom: lecturer1
    
Individual: lecturer3
    Facts:  teaches  course2
    DifferentFrom: lecturer4
    
Individual: lecturer4
    Facts:  teaches  course2
    DifferentFrom: lecturer3
    
DifferentIndividuals: 
    course1,course2,course3

Rule: 
    teaches(?<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual#x>,?<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual#c>),teaches(?<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual#y>,DifferentFrom (?<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual#x>,?<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual#y>) -> CoTeachingFaculty(?<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual#x>),CoTeachingFaculty(?<http://www.henrietteharmse.com/turtorial/ontologies/DistinctIndividual#y>)

PS。我没有将teaches设置为taughtBy的反函数，因为那样teaches不再是一个简单的角色，因此不能在角色链中使用。有关详细信息，请参见SROIQ上的论文。

,

大多数富有表现力的 DL 和 OWL 2 语言都包含对角色的“数量限制”，例如“至少由两个不同的人教授的课程”。 OWL 2 规范provides是使用其“ObjectMinCardinality”功能完成您想要的事情的一个非常清晰的示例。