Enhancing Disjunctive Logic Programming for Ontology Specification.
Francesco CalimeriStefania GaliziaMassimo RuffoloPasquale RulloPublished in: APPIA-GULP-PRODE (2003)
Keyphrases
- disjunctive logic programming
- semantic annotation
- knowledge representation
- domain knowledge
- knowledge representation and reasoning
- logic programming
- conceptual model
- answer set programming
- polynomial hierarchy
- knowledge base
- semantic web
- high level
- domain specific
- answer sets
- owl ontologies
- domain ontology
- object oriented