ontologie en utilisant la modélisation du domaine, un cas particulier

Question

Utilisation de la logique de description (et OWL-DL correspondant) considère que nous avons la classe Meeting qui pourrait être assisté par une classe Professor, de sorte que:

couldBeAttendedBy domain Meeting 
couldBeAttendedBy range Professor 

et considèrent qu'une Professor pourrait être une Assistant d'un autre Professor:

assistantOf domain Professor 
assistantOf range Professor 

question:Comment puis-je Terminolog -en utilisant ical Box axioms (TBox) - indiquer que, si MeetingcouldBeAttendedBy un Professor, alors couldBeAttendedBy l'un de ses Assistants.

exemple Fro, considérer que:

Meeting(m) 
Professor(f) 
m couldBeAttendedBy f 
as assistantOf f 

Je veux conclure que

m couldBeAttendedBy as 

Answer 1

Vous devez faire une chaîne de propriété, ce qui donne une définition de couldBeAttendedBy pour répondre à votre règle.

Par exemple, si vous utilisez protege, vous devez définir pour couldBeAttendedBy les éléments suivants:

couldBeAttendedBy o inverse (assistantOf)

au superpropriété de (chaîne), qui apparaîtra comme

couldBeAttendedBy o inverse (assistantOf) SubPropertyOf couldBeAttendedBy

Le boîtier est facile et est exactement ce que sont faites pour les chaînes de propriétés. Mais si les chaînes deviennent plus sophistiquées, elles pourraient devenir indécidables. Par exemple, dans S1 º S2 º S3 º ... º Sn ⊑ R, R ne peut être que sur le premier ou le dernier endroit du côté gauche de l'expression. Sinon, ce ne sera pas décidable. C'est l'une des restrictions pour les RBox régulières. Et les chaînes de propriétés, ou plus formellement "l'inclusion de rôle général", ne peuvent être décidées que si elles sont appliquées aux RBox régulières.