On Dec 10, 12:15 am, "tk blast" <[EMAIL PROTECTED]> wrote:
> If I were to import a file.owl that contained the triple: > owl:inverseOf rdf:type owl:SymmetricProperty . > it would redefine owl:inverseOf for all instances right? First to clarify: Asserting such a statement is only allowed in OWL Full, in OWL DL it is a syntax error. Now, in OWL Full, owl:inverseOf is just another property, so you can put arbitrary axioms on it. Actually, you wouldn't really "redefine" the semantics of owl:inverseOf, but rather /extend/ the semantic meaning of this property within the context of the whole ontology (just as for any "custom" property). But, anyway, the ramifications are in essence as you say. However, you should choose a better example, because owl:inverse is already symmetrical, so the above axiom would be without any effect. But you may, for example, do funny things like "owl:inverseOf rdfs:range owl:DatatypeProperty", i.e. restricting the range of owl:inverseOf to data properties. Then, from an assertion such as "p owl:inverseOf q" you would be able to infer "q rdf:type owl:DatatypeProperty". You may play around with the Jena OWL reasoner (included in TBC), which implements a semantic subset of OWL Full. I have just used the Jena reasoner with my example above, after configuring the inferencing accordingly (menu Inference -> Configure Inferencing), and I really get the predicted result. Michael PS: IMO, these kinds of general OWL related questions are better discussed on a mailing list such as [EMAIL PROTECTED] (subscribing necessary). -- Dipl.-Inform. Michael Schneider FZI Forschungszentrum Informatik Karlsruhe Abtl. Information Process Engineering (IPE) Tel : +49-721-9654-726 Fax : +49-721-9654-727 Email: [EMAIL PROTECTED] Web : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555 FZI Forschungszentrum Informatik an der Universität Karlsruhe Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe Tel.: +49-721-9654-0, Fax: +49-721-9654-959 Stiftung des bürgerlichen Rechts Az: 14-0563.1 Regierungspräsidium Karlsruhe Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
