[Pellet-Users] OWL to Description Logic mapping!

[Evren Sirin]

Anupam Kaul wrote:

> Hello All
>
> I would like to introduce myself as a Masters student, currently 
> working on the topic of “Semantic matching of web services in ambient 
> intelligence environments”.
>
> In the paper - Description Logic for Match Making of Services 
> [www.hpl.hp.com/techreports/2001/HPL-2001-265.pdf]– a table has been 
> provided which maps DAML+OIL constructs to Description Logic 
> Expressiveness. I would like to draw a similar correspondence between 
> OWL and DL, but unfortunately am not sure where to begin.
>
See [1] which already has a similar table for OWL

> I am a student of Distributed Systems and don’t have much exposure to 
> Description Logics and knowledge representation per se. From my 
> preliminary analysis I think that OWL supports SNIO(D) subset of DL
>
No. OWL-DL corresponds to SHOIN(D) and OWL-Lite corresponds to SHIF(D).

> as I cannot find any corresponding constructs in OWL for the QH subset 
> of DL.
>
You are right about Q. Qualified cardinality restrictions existed in 
DAML but was dropped in OWL. OWL has only unqualified cardinality 
restrictions (N) but OWL 1.1 effort is proposing to put Q back in the 
language.

H stands for property (a.k.a. role) hierarchies. So the constructs 
rdfs:subPropertyOf and owl:equivalentProperty (which is just syntactic 
sugar for a pair of subPropertyOf axioms) gives you H.

> I would request in case it’s possible for anyone to please provide me 
> some references from where I could draw a mapping from OWL to 
> Description Logics and draw a conclusion as to what is the 
> correspondence between OWL DL constructs and DL .
>
I think [1] is a good overview of how OWL relates to DLs. If you want to 
learn more about DL's I would recommend DL Handbook [3].

Regards,
Evren

> I hope I’ve put my query in the right format and perhaps at the right 
> place.
>
> Thanking you in advance.
>

[1] "From /SHIQ/ and RDF to OWL: The making of a web ontology language" 
http://www.cs.man.ac.uk/~horrocks/Publications/#HoPH03a
[2] "OWL 1.1 Web Ontology Language Overview" 
http://www-db.research.bell-labs.com/user/pfps/owl/overview.html
[3] "The Description Logic Handbook" 
http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521781760

> With warm regards
>
> --
> /Anupam Kaul/
>
>------------------------------------------------------------------------
>
>_______________________________________________
>Pellet-Users mailing list
>Pellet-Users at lists.mindswap.org
>http://lists.mindswap.org/mailman/listinfo/pellet-users
>  
>


-- 
Evren Sirin evren at cs.umd.edu
Graduate Research Assistant
Computer Science Department
Univ of Maryland, College Park, MD 20742
Phone: (301) 405-7027, Fax: (301) 405-6707