[Pellet-Users] OWL to Description Logic mapping!

[Bijan Parsia]

On Feb 17, 2006, at 7:25 AM, Raj M Verma wrote:

> thankyou very much Bijan...
>
>  I have one fundamental question... is it possible to use the notion 
> of General Concept Inclusion axioms in OWL?

Yes. Once you have SH you cannot rule them out (since you have the 
expressive power to internalize tboxes). You can have them in OWL Lite 
even with the syntactic restriction of the left hand since of 
inclusions to atomics. (basically, since you can have multiple axioms 
with the same left hand side, you can do this trick:
	A = B v D.
	A sub E v F.
these are pretty much the same as
	B v D sub E v F).

> is it possible to express these kind of concept inclusion axioms in 
> SWOOP or Protege?

Obviously, both can do the OWL lite trick above. Swoop has direct (if 
sorta lame) support (try the add GCI button). Dunno about Protoge.

>  I mean, GCIs is one of the important aspects of DL terminologies, so 
> I wonder how this feature is modelled(and can be use) in OWL!! any 
> literature towards these grounds?

Well, just look at the OWL Semantics and Abstract Syntax document:
	http://www.w3.org/TR/owl-semantics/syntax.html#2.3.2

"""Finally, in the OWL DL abstract syntax it is possible to require 
that a collection of descriptions be pairwise disjoint, or have the 
same instances, or that one description is a subclass of another. Note 
that the last two of these axioms generalize, except for lack of 
annotation, the first kind of class axiom just above.

axiom ::= 'DisjointClasses(' description description { description } ')'
         | 'EquivalentClasses(' description { description } ')'
         | 'SubClassOf(' description description ')'"""

Cheers,
Bijan.