Loop Formulas for Description Logic Programs
Yisong WangJia-Huai YouLi-Yan YuanYi-Dong ShenPublished in: CoRR (2010)
Keyphrases
- loop formulas
- description logic programs
- logic programs
- answer set semantics
- answer sets
- dl programs
- logic programming
- answer set programming
- stable models
- normal logic programs
- propositional logic
- ontology languages
- stable model semantics
- fixpoint
- description logics
- semantic web
- reasoning tasks
- horn clauses
- database
- programming language
- artificial intelligence