Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance

Francesco Kriegel
2016 European Conference on Artificial Intelligence  
We propose applications that utilize the infimum and the supremum of closure operators that are induced by structures occuring in the field of Description Logics. More specifically, we consider the closure operators induced by interpretations as well as closure operators induced by TBoxes, and show how we can learn GCIs from streams of interpretations, and how an error-tolerant axiomatization of GCIs from an interpretation guided by a hand-crafted TBox can be achieved.
dblp:conf/ecai/Kriegel16 fatcat:4byiqzgzwjh2hchqpk7vwqvxky