OWL role negation

• From: Roman Schindlauer <roman@kr.tuwien.ac.at>
• Date: Tue, 24 Aug 2004 16:25:38 +0200 (CEST)
• To: www-rdf-logic@w3.org
• Message-ID: <Pine.LNX.4.44.0408241607340.10396-100000@bach.kr.tuwien.ac.at>

Role negation is not provided in OWL, since this is - afaik - left to some
specialized DLs. However, if I am not mistaken, I can explicitly exclude
individual tuples from roles: Assume, I have a Role R and two individuals
a and b. Is the following OWL-fragment a way to express -R(a,b)?


<owl:Thing rdf:about="#a">
  <rdf:type>
    <owl:Class>
      <owl:complementOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="#R" />
          <owl:hasValue rdf:resource="#b" />
        </owl:Restriction>
      </owl:complementOf>
    </owl:Class>
  </rdf:type>
</owl:Thing>


Does this mean: <a,b> is not allowed to be in R? Or in other words: adding
R(a,b) would render the KB inconsistent? Is there another way to do this?



:
:  roman schindlauer
:  knowledge-based systems group
:  vienna university of technology
:  +43 1 58801 18469
:  roman@kr.tuwien.ac.at
:  http://www.kr.tuwien.ac.at/staff/roman
:

Received on Tuesday, 24 August 2004 14:27:10 UTC