Temporal Logic Programs with Temporal Description Logic Axioms.
Pedro CabalarTorsten SchaubPublished in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
- logic programs
- computational properties
- description logics
- logic programming
- knowledge base
- model theoretic
- refinement operators
- answer set programming
- answer sets
- reasoning tasks
- inductive logic programming
- fixpoint
- background knowledge
- knowledge representation and reasoning
- knowledge representation
- normal logic programs
- temporal reasoning
- expressive power
- semantic web
- owl ontologies
- stable models
- horn clauses
- dl programs