W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2003

description-logic/inconsistent107 was RE: minor typos in Test doc

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 13 Aug 2003 11:11:41 +0200
To: "Jos De_Roo" <jos.deroo@agfa.com>, "Jeremy Carroll <jjc" <jjc@hplb.hpl.hp.com>
Cc: <connolly@w3.org>, "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDOEPECBAA.jjc@hpl.hp.com>


> Jeremy, Sean - maybe it's too hot here, but I can't see why
> http://www.w3.org/2002/03owlt/description-logic/inconsistent107.rdf
> is inconsistent (I think I understand why 108 is, but not 107).

(Sean - I would welcome your comments on the simplification below).

From
http://phoebus.cs.man.ac.uk:9999/OWL/Validator?url=http%3A%2F%2Fwww.w3.org%2
F2002%2F03owlt%2Fdescription-logic%2Finconsistent107.rdf&level=Lite&abstract
=yes


[Namespaces:
  owl	= http://www.w3.org/2002/07/owl#
  rdfs	= http://www.w3.org/2000/01/rdf-schema#
  xsd	= http://www.w3.org/2001/XMLSchema#
  rdf	= http://www.w3.org/1999/02/22-rdf-syntax-ns#
  a	= http://oiled.man.example.net/test#
]

Ontology(

 Class(a:Unsatisfiable complete
  intersectionOf(
         complementOf(restriction(a:r minCardinality(2)))
         restriction(a:r minCardinality(1))
         restriction(a:r someValuesFrom a:c)
         restriction(a:r someValuesFrom a:d)))






 Class(a:a complete
            unionOf(a:d a:c))
 Class(a:c)
 Class(a:d)
 Class(a:e)

 ObjectProperty(a:r)
 ObjectProperty(a:r1)
 ObjectProperty(a:r2)
 ObjectProperty(a:r3)
 ObjectProperty(a:t1)
 ObjectProperty(a:t2)
 ObjectProperty(a:t3)
 ObjectProperty(a:tt)

 Individual(_
  type(a:Unsatisfiable))

 DisjointClasses(a:d a:c)
 DisjointClasses(a:e a:c)
 DisjointClasses(a:d a:e)

 SubPropertyOf(a:r2 a:r)
 SubPropertyOf(a:r3 a:r)
 SubPropertyOf(a:t1 a:tt)
 SubPropertyOf(a:r1 a:r)
 SubPropertyOf(a:t3 a:tt)
 SubPropertyOf(a:t2 a:tt)

)

There does seem to be a lot of spurious stuff here - I would have thought
that the following is inconsistent

Ontology(

 Class(a:Unsatisfiable complete
  intersectionOf(
                restriction(a:r someValuesFrom a:c)
                complementOf(restriction(a:r minCardinality(2)))
                restriction(a:r someValuesFrom a:d)))

 Class(a:c)
 Class(a:d)

 ObjectProperty(a:r)

 Individual(_
  type(a:Unsatisfiable))


 DisjointClasses(a:c a:d)


)


Jeremy
Received on Wednesday, 13 August 2003 05:11:49 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT