- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Wed, 2 Apr 2003 11:39:46 -0500 (EST)
- To: mghagens@nps.navy.mil
- CC: www-rdf-logic@w3.org
[Marty Hagenston]
Yes all Beretta 92 Series Pistols are a subclass of 9mm Automatic
Pistol. So even though the two separately authored ontologies I am
trying to reconcile describe the same 9mm pistol syntactically
different, I can still declare the Beretta 92 Series Pistol as a
subclass of 9mm Automatic Pistol and inherit the properties of the 9mm
Automatic Pistol class disregarding the articulation of the syntax?
Yes, if I understand the question correctly.
It
is important to me to ensure the FS instance of the Beretta 92 Series
Pistol class = the Beretta 92FS instance of the 9mm Automatic Pistol
class. Would I still be able to infer this without the lower level
syntactic articulation?
I don't see how. You need an inference rule that infers such
equalities from the names of classes:
An instance of Beretta 92 Series Pistol named x
= An instance of 9mm Automatic Pistol named Beretta 92x
There's no way to say that in OWL.
-- Drew
P.S. I'm cc-ing this to www-rdf-logic; I trust you don't mind.
Received on Wednesday, 2 April 2003 11:39:48 UTC