- From: Leila Bayoudhi <bayoudhileila@yahoo.fr>
- Date: Thu, 25 Dec 2014 15:48:46 +0000 (UTC)
- To: Uli Sattler <Ulrike.Sattler@manchester.ac.uk>
- Cc: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
- Message-ID: <1334001666.1338577.1419522526791.JavaMail.yahoo@jws11117.mail.ir2.yahoo.com>
What I model it isn't equivalent to the OWL antipattern OnlinessIsLoneliness(OIL)?
Le Jeudi 25 décembre 2014 16h34, Uli Sattler <Ulrike.Sattler@manchester.ac.uk> a écrit :
Hi Leila
this ontology is consistent - and even the class person is satisfiable: it only becomes unsatisfiable once you request that a person must have an Id....but you don't seem to say that yet,
Since this mailing list is read by humans, it would be good to post your examples in Manchester syntax - the syntax you use is designed for computers....
Also, I strongly suggest you look more closely into Owl's model based semantics - to get a better understanding of it. All the best!
Cheers, Uli
On 25 Dec 2014, at 11:38, "Leila Bayoudhi" <bayoudhileila@yahoo.fr> wrote:
Hi, I intentionally want to raise inconsistency in my ontology by creating these axioms <owl:Class rdf:about="http://www.semanticweb.org/dell/ontologies/2014/11/untitled-ontology-121#person"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/dell/ontologies/2014/11/untitled-ontology-121#hasIdentifier"/> <owl:allValuesFrom rdf:resource="&owl;rational"/> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction <owl:onProperty rdf:resource="http://www.semanticweb.org/dell/ontologies/2014/11/untitled-ontology-121#hasIdentifier"/> <owl:allValuesFrom rdf:resource="&xsd;dateTime"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> However, Hermit says that all is fine: the ontology is consistent( even the value spaces of the two data ranges are disjoint)Can you tell me please why?
Received on Thursday, 25 December 2014 15:56:34 UTC