To: | Ontology Summit 2014 discussion <ontology-summit@xxxxxxxxxxxxxxxx> |
---|---|
From: | Simon Spero <sesuncedu@xxxxxxxxx> |
Date: | Sun, 2 Feb 2014 11:55:16 -0500 |
Message-id: | <CADE8KM6oJ+u78taShdm53CaTHaRz3Wwsr2qoFo5fXuA3kkQHhw@xxxxxxxxxxxxxx> |
An even bigger problem is that owl:sameAs is unlikely to won't work the way in the way that is desired, especially under the OWL 2-DL Direct Semantics. Asserting that an IRI is owl:sameAs another IRI is a statement about these IRIs as Individuals. Assertions about those IRIs as Classes or Properties are independent of assertions about Individuals. :ClassA rdf:type owl:Class. :ClassB rdf:type owl:Class. :ClassA owl:sameAs :ClassB :anA rdf:type ClassA. Does not entail :classA owl:equivalentClass :classB. or :anA rdf:type :ClassB. Depending on characteristics of a specific reasoner hinders interoperability and hence reuse. Simon
On Sun, Feb 2, 2014 at 10:11 AM, Mike Bennett <mbennett@xxxxxxxxxxxxxxx> wrote:
_________________________________________________________________ Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/ Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx Community Files: http://ontolog.cim3.net/file/work/OntologySummit2014/ Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014 Community Portal: http://ontolog.cim3.net/wiki/ (01) |
Previous by Date: | Re: [ontology-summit] [ReusableContent] Partitioning the problem, Amanda Vizedom |
---|---|
Next by Date: | Re: [ontology-summit] [ReusableContent] Partitioning the problem, John McClure |
Previous by Thread: | Re: [ontology-summit] [ReusableContent] Partitioning the problem, Mike Bennett |
Next by Thread: | Re: [ontology-summit] [ReusableContent] Partitioning the problem, John McClure |
Indexes: | [Date] [Thread] [Top] [All Lists] |