W3C home > Mailing lists > Public > www-rdf-logic@w3.org > July 2003

Re: reasoning about properties in OWL

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Wed, 16 Jul 2003 10:17:38 +0100
Message-ID: <3F151832.2D959289@hplb.hpl.hp.com>
To: Jos de Bruijn <jos.de-bruijn@uibk.ac.at>
CC: www-rdf-logic@w3.org

Jos de Bruijn wrote:
> 
> Is it possible in OWL (and in which dialect) to reason about properties?
> And specifically properties that have a certain domain.

In RDFS, domain and range are purely intensional - you cannot infer domain/range
constraints, only state them. However, RDFS allows for a stronger iff semantics
[1] and I believe all OWL dialects assume this stronger semantics.

> Is it possible to make a statement like:
> 
>   <rdfs:domain>
>      <owl:Class rdf:about="#Person"/>
>   </rdfs:domain>
> 
> which would select all properties with a domain of Person?

Being picky that's not a statement but I assume you mean to specify a query
which is some form of triple pattern - "find everything with rdfs:domain
property value of Person". Pretty much all the RDF tools support such pattern
queries in in one form or another so I'd imagine that any that support RDFS with
the iff semantics will do this.

Certainly in Jena2 you can make such queries, using a direct RDF API or the RDQL
query language, and apply them to a inference model supporting the extended RDFS
semantics. This particular example is supported directly by a convenience method
that is part of the ontology API.

Dave

[1] http://www.w3.org/TR/rdf-mt/#rdfs_interp
Received on Wednesday, 16 July 2003 05:18:28 GMT

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