W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2005

Re: SW / ontology in telecommunication field

From: Danny Ayers <danny.ayers@gmail.com>
Date: Tue, 8 Mar 2005 11:48:43 +0100
Message-ID: <1f2ed5cd05030802486e405a2f@mail.gmail.com>
To: "IC Dept.- MIT-Maqbool Al Maimani" <maqbool@oas.com.om>
Cc: Abir Qasem <abir.qasem@gmail.com>, semantic-web@w3.org, public-owl-dev@w3.org

A little side question:

On Mon, 7 Mar 2005 08:12:53 +0400, IC Dept.-  MIT-Maqbool Al Maimani 

> In our work Lehigh we use HTN planning to compose Semantic Web services. To
> avoid redundancy in service composition we use Local Closed World reasoning
> (LCW).

I've not looked very closely at HTN, but I was wondering how far its
semantics can be expressed/applied in an OWL DL system. Presumably the
descriptive constructs used can be expressed reasonably cleanly in
OWL, but are there any algorithms that can be rearranged to work with
DL reasoning?

My main reason for asking is that I'm hoping to put together a
planner-like system for goal-oriented project management. Ok, that's
rather a grandiose way of putting it - all I'm after is a simple
system that will accept to-do lists, help you decompose them into
discrete tasks & subgoals and then tell you which task you should
probably do next. I'm still at the stage of putting together the basic
infrastructure, but had anticipated using an OWL DL reasoner (or even
just RDFS) for fact-expansion alongside an auxiliary rule engine
(maybe Prolog-based, maybe Rete-based, as a last resort hard-coded) to
do prioritisation. But the more I can get under the DL umbrella the
happier I'll be. Suggestions appreciated.

Cheers,
Danny.

-- 

http://dannyayers.com
Received on Tuesday, 8 March 2005 10:48:44 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:53 GMT