Notes
Outline
Slide 1
W3C WebOnt‘s OWL Lite
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/
Background
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.
Feature Synopsis
OWL Lite RDF Schema Features Synopsis
Class
rdf:Property
rdfs:subClassOf
rdfs:subPropertyOf
rdfs:domain
rdfs:range
Individual
OWL Lite Equality (and Inequality)
sameClassAs
samePropertyAs
sameIndividualAs
differentIndividualFrom
OWL Lite Property Information
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 Assorted
OWL Lite Header Information
imports
Dublin Core Metadata
versionInfo
OWL Lite Datatypes – expected to follow RDF core
Differences with…
-------------------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
More Information