From RIF
Jump to: navigation, search

Document title:
OWL 2 OC (Second Edition)
Chris Welty, IBM Research
The OWL 2 OC profile is designed to support the use of the OntoClean Methodology on OWL 2 ontologies. OWL 2 OC (OWL-OC) adds a few types of classes to OWL-2 with some simple restrictions on the subclass relation between them. The semantics of OntoClean cannot be expressed in OWL, neither can the rather simple restrictions it imposes on the structure of an ontology. In this document the restrictions are imposed as part of the semantics by extending the OWL-2 model theory.
Status of this Document

Copyright © 2008 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark and document use rules apply.

1 Overview of OntoClean

2 Syntactic Extensions to OWL-2

3 Semantic Extensions to OWL-2

4 Examples

5 Acknowledgements

6 References

6.1 Normative References

OWL Web Ontology Language Semantics and Abstract Syntax, P. F. Patel-Schneider, P. Hayes, I. Horrocks, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-owl-semantics-20040210/. Latest version available at http://www.w3.org/TR/owl-semantics/.
Resource Description Framework (RDF): Concepts and Abstract Syntax, G. Klyne, J. Carrol, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/. Latest version available at http://www.w3.org/TR/rdf-concepts/.
RDF Semantics, P. Hayes, Editor, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-mt-20040210/. Latest version available at http://www.w3.org/TR/rdf-mt/.
BLD (Reference will be filled in at publication time.)
DTB (Reference will be filled in at publication time.)

6.2 Informational References

CURIE Syntax 1.0, M. Birbeck, S. McCarron, W3C Working Draft, 6 May 2008, http://www.w3.org/TR/2007/WD-curie-20071126/. Latest version available at http://www.w3.org/TR/curie/.
Description Logic Programs: Combining Logic Programs with Description Logics, B. Grosof, R. Volz, I. Horrocks, S. Decker. In Proc. of the 12th International World Wide Web Conference (WWW 2003), 2003.
Query Answering for OWL-DL with rules, B. Motik, U. Sattler, R. Studer, Journal of Web Semantics 3(1): 41-60, 2005.
OWL Web Ontology Language Reference, M. Dean, G. Schreiber, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-owl-ref-20040210/. Latest version available at http://www.w3.org/TR/owl-ref/.
RDF Vocabulary Description Language 1.0: RDF Schema, D. Brickley, R.V. Guha, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-schema-20040210/. Latest version available at http://www.w3.org/TR/rdf-schema/.
RDF/XML Syntax Specification (Revised), D. Beckett, Editor, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/. Latest version available at http://www.w3.org/TR/rdf-syntax-grammar/.
RFC 3066 - Tags for the Identification of Languages, H. Alvestrand, IETF, January 2001. This document is http://www.isi.edu/in-notes/rfc3066.txt.
PRD (Reference will be filled in at publication time.)
UCR (Reference will be filled in at publication time.)
DL+log: Tight Integration of Description Logics and Disjunctive Datalog, R. Rosati, Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 68-78, 2005.
SWRL: A Semantic Web Rule Language Combining OWL and RuleML, I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B., M. Dean, W3C Member Submission, 21 May 2004, http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/. Latest version available at http://www.w3.org/Submission/SWRL/.
Turtle - Terse RDF Triple Language, D. Beckett, T. Berners-Lee, W3C Team Submission, 14 January 2008, http://www.w3.org/TeamSubmission/2008/SUBM-turtle-20080114/. Latest version available at http://www.w3.org/TeamSubmission/turtle/.
XML Schema Part 2: Datatypes Second Edition, P. V. Biron, A. Malhotra, ditors, W3C Recommendation, 28 October 2004, http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/. Latest version available at http://www.w3.org/TR/xmlschema-2/.
== Appendix: Embeddings (Informative) ==