Expressivity of Planning with Horn Description Logic Ontologies.
Stefan BorgwardtJörg HoffmannAlisa KovtunovaMarkus KrötzschBernhard NebelMarcel SteinmetzPublished in: AAAI (2022)
Keyphrases
- description logics
- mathcal shiq
- dl lite
- computational properties
- ontology languages
- snomed ct
- knowledge base
- reasoning services
- semantic web
- knowledge representation
- semantic mapping
- owl dl
- ontology reasoning
- dl programs
- formal ontologies
- owl ontologies
- semantic web ontologies
- web ontology language
- reasoning mechanism
- concept descriptions
- ontology mappings
- reasoning tasks
- np hard
- medical terminology
- data complexity
- conjunctive queries
- reasoning problems
- daml oil
- biomedical ontologies
- description logic programs
- computing least common subsumers
- model theoretic
- expressive power
- semantic heterogeneity
- query answering
- function free horn
- domain ontology
- logical implication
- domain specific
- query rewriting
- horn clauses
- computational complexity
- conceptual graphs
- integrity constraints
- machine learning
- first order logic