Keyphrases
- inductive logic programming
- owl dl
- reasoning systems
- semantic web
- description logics
- reasoning problems
- background knowledge
- domain ontology
- ontology languages
- logic programs
- first order logic
- logic programming
- reasoning tasks
- knowledge base
- machine learning
- formal semantics
- automated reasoning
- computational properties
- horn clauses
- knowledge representation
- data sets
- artificial intelligence
- information extraction
- data complexity
- inference rules
- search algorithm
- conceptual model
- database
- knowledge management