Verification of Knowledge-Based Programs over Description Logic Actions.
Benjamin ZarrießJens ClaßenPublished in: IJCAI (2015)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- computational properties
- dl lite
- reasoning problems
- semantic web
- snomed ct
- reasoning mechanism
- model theoretic
- computing least common subsumers
- knowledge representation languages
- concept descriptions
- model checking
- expert systems
- ontology reasoning
- logical implication
- reasoning services
- partially ordered