LOWL: Logic and OWL, an Extension

Authors: M. Mohsenzadeh, F. Shams, M. Teshnehlab

Abstract:

Current research on semantic web aims at making intelligent web pages meaningful for machines. In this way, ontology plays a primary role. We believe that logic can help ontology languages (such as OWL) to be more fluent and efficient. In this paper we try to combine logic with OWL to reduce some disadvantages of this language. Therefore we extend OWL by logic and also show how logic can satisfy our future expectations of an ontology language.

Keywords: Logical Programming, OWL, Language Extension.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1071097

References:

[1] Ushold M., Gruninger M., Ontologies: Principles, methods and applications, The Knowledge Engineering Review, 1996.
[2] Antoniou G., Harmelen F., Web Ontology Language: OWL, 2003.
[3] Ostadzadeh Sh., Mohsenzadeh M., Ontology Engineering in comparison to Data Modeling, Advance topics in database white paper, 2004.
[4] Jarrar M., Meersman R., Formal Ontology Engineering in the DOGMA Approach, International conference on Ontologies, Databases and Application, 2002.
[5] Ullman J.D., Principles of Database and Knowledge-base Systems - volume 1, Computer Science Press, 1988.
[6] Heflin J., Web Ontology Language (OWL) Use Cases and Requirements, W3C Working Draft, 2003.