LOWL: Logic and OWL, an Extension

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.

• M. Mohsenzadeh
• F. Shams
• M. Teshnehlab

• Logical Programming
• OWL
• Language Extension.

[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.