- 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