Extracting ALEQR Self-Knowledge Bases from Graphs

Francesco Kriegel
2015 International Conference on Formal Concept Analysis  
A description graph is a directed graph that has labeled vertices and edges. This document proposes a method for extracting a knowledge base from a description graph. The technique is presented for the description logic ALEQR Self , which allows for conjunctions, primitive negations, existential restrictions, value restrictions, qualified number restrictions, existential self restrictions, general concept inclusions, and complex role inclusions. Furthermore, also sublogics may be chosen to
more » ... ss the axioms in the knowledge base. The extracted knowledge base entails exactly all those statements that can be expressed in the chosen description logic and are encoded in the input graph.
dblp:conf/icfca/Kriegel15 fatcat:sblgxv3khjeuhjxklerzvw3vpy