OntoDLP: a Logic Formalism for Knowledge Representation.
Francesco CalimeriStefania GaliziaMassimo RuffoloPasquale RulloPublished in: Answer Set Programming (2003)
Keyphrases
- knowledge representation
- knowledge representation formalisms
- automated reasoning
- logic programming
- description logics
- commonsense reasoning
- expert systems
- artificial intelligence
- declarative programming
- representation language
- knowledge acquisition
- first order logic
- formal theory
- logical framework
- knowledge base
- natural language
- semantic web
- answer set programming
- knowledge based systems
- highly expressive
- knowledge representation and reasoning
- computational properties
- machine learning
- proof theory
- causal reasoning
- natural language understanding
- probabilistic reasoning
- knowledge structures
- knowledge engineering
- reasoning mechanisms
- modal logic
- information extraction
- classical logic
- natural language processing
- nonmonotonic reasoning
- representing knowledge
- conceptual graphs
- predicate logic
- production rules
- logic programs