W3C home > Mailing lists > Public > semantic-web@w3.org > January 2008

ABox querying in OWL

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Wed, 09 Jan 2008 10:30:04 +0000
Message-ID: <4784A22C.3050802@cancer.org.uk>
To: Semantic Web <semantic-web@w3.org>

Dear All,

Just a quick question: WRT A-Box querying, I am familiar with 
the`rolling up' technique for conjunctive A-Box queries. However, if I 
am just querying ground formulae, then presumably that is easier?

e.g. is asking Man(MATT) & Doctor(MATT) reasonably trivial?

The only reason I can see that it might not be is that of course the 
Ontology A-Box might contain the atom

MarriedMan(MATT)  (where in the T-Box, MarriedMan is a subclass of Man).

In this case, there would need to be some inferencing - or can we do the 
inferencing beforehand, so that although (I assert) MarriedMan(MATT), 
after doing some reasoning, we can be sure that the A-Box contains the 
atom Man(MATT). (Is this closure of the A-Box?)

Apologies for such simple a question.


+44 (0)7834 899570
Received on Wednesday, 9 January 2008 10:30:32 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:41:08 UTC