|
|
|
|
|
WebOnt resolved to provide descriptions of a
full OWL Language along with a limited version of OWL called OWL Lite. |
|
OWL Lite is contains a subset of language
constructors available in full OWL. |
|
The hope for OWL Lite is that it provides enough
constructors that allow it to be useful to people needing more than what
the alternatives such as RDFS provide while simultaneously containing few
enough constructors to be simpler to implement, explain, and maintain than
full OWL. |
|
This presentation provides a readout of OWL
Lite. The best published
documents covering OWL Lite include: |
|
Feature Synopsis: http://www.w3.org/TR/owl-features/ |
|
Reference: http://www.w3.org/TR/owl-ref/ |
|
Abstract syntax: http://www.w3.org/TR/owl-absyn/ |
|
Guide (soon): http://www.w3.org/TR/owl-guide/ |
|
|
|
|
|
|
At the third face to face WebOnt meeting in
Amsterdam in April it was decided to explore a limited OWL Language. |
|
A subgroup (van Harmelen, Horrocks, ter Horst,
McGuinness, Patel-Schneider, Welty) met at KR 2002 in Toulouse to agree on
an initial proposal. |
|
The proposal was circulated in May for comments
with the resulting updates(1,2). |
|
Following the July WebOnt face to face meeting
at Stanford, the feature synopsis document was edited
and comments were actively requested publicly. |
|
Status report presented of public feedback at
the October WebOnt face to face meeting in Bristol and decisions made
concerning OWL Lite’s existence and form. Summary of comments available. McGuinness to publish an update to feature synopsis doc. |
|
|
|
|
|
|
OWL Lite RDF Schema Features Synopsis |
|
Class |
|
rdf:Property |
|
rdfs:subClassOf |
|
rdfs:subPropertyOf |
|
rdfs:domain |
|
rdfs:range |
|
Individual |
|
|
|
|
|
|
sameClassAs |
|
samePropertyAs |
|
sameIndividualAs |
|
differentIndividualFrom |
|
|
|
|
|
|
inverseOf |
|
TransitiveProperty |
|
SymmetricProperty |
|
FunctionalProperty (unique) |
|
InverseFunctionalProperty (unambiguous) |
|
allValuesFrom (universal local range
restrictions; prev toClass) |
|
someValuesFrom (existential local range
restrictions; prev hasClass) |
|
minCardinality (restricted to 0 or 1) |
|
maxCardinality (restricted to 0 or 1) |
|
cardinality (restricted to 0 or 1) |
|
|
|
|
|
|
OWL Lite Header Information |
|
imports |
|
Dublin Core Metadata |
|
versionInfo |
|
OWL Lite Datatypes – expected to follow RDF core |
|
|
|
|
-------------------to OWL------------------ ------------to
datalog proposal----- |
|
- oneOf (enumerated classes) + minCardinality |
|
- disjointWith + someValuesFrom |
|
- sameClassAs for class expressions (arguably –some others) |
|
- rdfs:subClassOf for class expressions |
|
- unionOf |
|
- intersectionOf |
|
- complementOf |
|
- Full cardinality |
|
- hasValue |
|
|