- 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>
> 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 UTC