W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

fragments question re DL-Lite

From: Jim Hendler <hendler@cs.rpi.edu>
Date: Mon, 17 Mar 2008 21:17:27 -0400
Message-Id: <5905441B-3E95-4B07-8C10-7B21966D29D1@cs.rpi.edu>
To: "Web Ontology Language ((((OWL)))) Working Group WG" <public-owl-wg@w3.org>

In the document it reads (Section 3.1)

> The following constructs can be used to define subclasses in  
> SubClassOf axioms:
> ...
>     * existential quantification to a class ( ObjectSomeValuesFrom )  
> where the class is limited to owl:Thing,


> The following features of OWL 1.1 are missing in DL-Lite:
>     * existential quantification to a class (ObjectSomeValuesFrom),

I assume the latter is for class other than owl:Thing?  Do we mean  
here only the class owl:Thing or any class that is a subclass of  
owl:Thing?  If the former, is that just included for completeness or  
is there a real case where it could be useful?


"If we knew what we were doing, it wouldn't be called research, would  
it?." - Albert Einstein

Prof James Hendler				http://www.cs.rpi.edu/~hendler
Tetherless World Constellation Chair
Computer Science Dept
Rensselaer Polytechnic Institute, Troy NY 12180
Received on Tuesday, 18 March 2008 01:18:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC