Sciweavers

Share
AGP
2003
IEEE

Enhancing Disjunctive Logic Programming for Ontology Specification

9 years 1 months ago
Enhancing Disjunctive Logic Programming for Ontology Specification
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from other knowledge representation formalisms, namely, Datalog and Ordered Logic. The former provides suitable abstraction mechanisms for complex objects handling, while the latter provides support for default reasoning. Such features make ONTO-DLV a powerful language for ontology specification and reasoning.
Francesco Calimeri, Stefania Galizia, Massimo Ruff
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where AGP
Authors Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo
Comments (0)
books