[Pellet-Users] OWL to Description Logic mapping!
evren at cs.umd.edu
Tue Feb 14 11:41:13 EST 2006
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  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
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  is a good overview of how OWL relates to DLs. If you want to
learn more about DL's I would recommend DL Handbook .
> I hope I’ve put my query in the right format and perhaps at the right
> Thanking you in advance.
 "From /SHIQ/ and RDF to OWL: The making of a web ontology language"
 "OWL 1.1 Web Ontology Language Overview"
 "The Description Logic Handbook"
> With warm regards
> /Anupam Kaul/
>Pellet-Users mailing list
>Pellet-Users at lists.mindswap.org
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
More information about the Pellet-Users