RE: Mapping to RDF Graphs and reification

Pierre-Antoine Champin wrote:

>Hi Bijan and Michael,
>
>The time of a lunch break, and I'm not sure again.
>(this is what is fun with paradoxes, even would-be paradoxes ;)
>
>Let us take my first example.
>
>>>  _:x rdf:type owl:NegativePropertyAssertion
>>>  _:x owl:sourceIndividual _:x
>>>  _:x owl:assertionProperty owl:sourceIndividual
>>>  _:x owl:targetIndividual _:x

[snip]

>I guess you could simply say that no interpretation can possibly satisfy
>the semantic conditions of table 5.15, so there is no model, so the
>ontology is inconsistent. :-/
>
>However, what bothers me here, is that you can not cut the ontology into
>two consistent parts, whose respective consequences are contradictory.

You cannot do this with

  ex:x owl:differentFrom ex:x

either, right?

An ontology is inconsistent, if there is no interpretation that satisfies it. There is no requirement to have two consistent parts that contradict each other. 

(In the worst case, when OWL 2 Full would turn out to be internally inconsistent, then even the empty RDF graph would be an inconsistent ontology. But let's hope that this is not the case... this time.)

Michael

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
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