Logic OWL: Combining LP with OWL

Current researches on semantic web aim at intelligent web pages that are meaningful for machines. In this case, ontology plays a crucial role. We believe that logic can help ontology languages (such as OWL) to gain fluency and efficiency. In this paper we try to combine logic with OWL in order to overcome some disadvantages of OWL. We also show how logic can satisfy the future expectations of an ontology language.

کلیدواژه ها:

Ontology Language ، OWL ، Logic Programming (LP) ، Description Logic (DL) ، FOL