Overview. The W3C Web Ontology Language (OWL) is a Semantic Web language designed to represent rich and complex knowledge about things, groups of things, and relations between things.
OWL-QL: A Language for Deductive Query Answering on the Semantic Web. JWS: Databases & the Semantic Grid.
An ontology is a formal way to describe the properties, the classes of a given subject and OWL is a (RDF) way to define an ontology.
OWL Lite includes a limited form of cardinality restrictions. OWL (and OWL Lite) cardinality restrictions are referred to as local restrictions, since they are stated on properties with respect to a particular class. That is, the restrictions constrain the cardinality of that property on instances of that class.
I'm using the pellet reasoner on a number of ontologies and have run the info method on a list of IRIs (in this case URLs). The two metrics that interest me are the DL Expressivity and OWL Profile.
The OWL Profiles I'm getting range from "OWL 2," "OWL 2 DL," "OWL 2 EL," "OWL 2 QL," "OWL 2 RL." When is says "OWL 2," does that mean the ontology is OWL 2 full? Are all the other variations DL? I have found a spec describing the different profiles (table 10 especially) [as a new user I can't post more than one hyperlink; thought the upcoming one was more important of two], but so far I haven't been able to answer this question for myself.
As for the "DL Expressivity," the very name implies that all the Expressivity codes (Such as ALCH, ALCH(D)) are DL. I have found this highly academic catalogue, so to speak, of the codes and their technical meaning in terms of complexity, but I need to know how to tell, at least generally, whether an ontology is DL or Full by looking at the Expressivities. Any help or links explaining these things would be most appreciated.
If it helps, I should also give some context for what I'm trying to do with this stuff. I'm just building a table from the "pellet info" data that has the ontology ID number (from the url list), the expressivity and OWL Profile for each, and also says whether that ontology is full, DL, or Lite.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With