W3C home > Mailing lists > Public > semantic-web@w3.org > December 2005

Re: where to look for specified inferences in OWL DL

From: Danny Ayers <danny.ayers@gmail.com>
Date: Thu, 29 Dec 2005 14:53:57 +0100
Message-ID: <1f2ed5cd0512290553h64ddcf22uabaf76ea92f56010@mail.gmail.com>
To: Xavier Noria <fxn@hashref.com>
Cc: Semantic Web <semantic-web@w3.org>

On 12/27/05, Xavier Noria <fxn@hashref.com> wrote:
> Say an OWL DL ontology has a schema with classes D, R, X, and a
> property P with domain D and range R. Now x1 and x2 are instances of
> X, and I wonder in which way the assertion P(x1, x2) would modify the
> model.

Hmm, well it would add that statement for a start...assuming we're
talking the model in logical terms (i.e. can add the inferred
statements), then I believe you'd also have:

rdf:type(x1, D)
rdf:type(x2, R)

This is from RDF schema, I believe it also would apply in OWL DL.

> A possible approach to figure that out would be to observe what
> generates some library like Jena, but where are those rules documented?


Although I personally find the notation used in those docs hard work.
Jos de Roo has encoded the rules in n3:




Received on Thursday, 29 December 2005 13:54:08 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:55 UTC