Model-Based Most Specific Concepts in Some Inexpressive Description Logics.
Felix Distel · 2009
Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologies that are written in certain extensions of EL. There is indication that model-based most specific concepts can also be applied for knowledge base completion in other inexpressive description logics. We show that model-msc exist in the logics FL0 and FLE with cyclic TBoxes and for ALC ∪ ∗ with acyclic TBoxes. We provide constructions for model-msc in these three logics.