On Querying Ontologies with Contextual Logic Programming.
Cláudio FernandesNuno LopesSalvador AbreuPublished in: OWLED (2007)
Keyphrases
- logic programming
- knowledge representation
- knowledge base
- logic programs
- databases
- nonmonotonic reasoning
- answer set programming
- domain ontology
- semantic web
- deductive databases
- background knowledge
- logic programming language
- reasoning tasks
- computational logic
- reasoning about actions
- programming language
- ontological reasoning
- inductive logic programming
- answer sets
- default logic
- stable models
- pseudo boolean constraints
- query language
- constraint logic programming
- query processing
- expert systems
- probabilistic reasoning
- general purpose
- domain knowledge
- database querying
- inference rules
- ontology mapping
- ontology matching
- linear logic
- data model