Verification of Golog Programs over Description Logic Actions.
Franz BaaderBenjamin ZarrießPublished in: FroCos (2013)
Keyphrases
- description logics
- situation calculus
- decision theoretic
- reasoning tasks
- agent programming
- action theories
- knowledge base
- knowledge representation
- reasoning about actions
- computational properties
- model theoretic
- ontology languages
- model checking
- dl lite
- semantic web
- computing least common subsumers
- logical implication
- concept descriptions
- reasoning problems
- reasoning mechanism
- snomed ct
- fixpoint
- dl programs
- ontology reasoning
- partially ordered
- artificial intelligence
- logic programs
- reasoning services
- number restrictions