Extending Logic Programs with Description Logic Expressions for the Semantic Web.
Yi-Dong ShenKewen WangPublished in: ISWC (1) (2011)
Keyphrases
- logic programs
- description logics
- description logic programs
- ontology languages
- answer set semantics
- semantic web
- logic programming
- knowledge representation
- knowledge base
- computational properties
- dl programs
- stable models
- answer sets
- owl ontologies
- normal logic programs
- answer set programming
- background knowledge
- fixpoint
- natural language
- reasoning tasks
- inductive logic programming
- refinement operators
- reasoning systems
- reasoning problems
- knowledge representation and reasoning
- dl lite
- data complexity
- model theoretic
- artificial intelligence
- linked data
- ontology mappings
- conceptual modeling
- horn clauses
- metadata
- default logic
- query answering
- minimal models
- semantic annotation
- model checking