Extracting ALEQR(Self)-Knowledge Bases from Graphs
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
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 𝓐𝓛𝓔𝓠𝓡(Self) which allows for conjunctions, primitive negation, existential restrictions, value restrictions, qualified number restrictions, existential self restrictions, and complex role inclusion axioms, but also sublogics may be chosen to express the axioms in the knowledge base. The extracted knowledge base entails all statements that can be expressed in the chosen description logic and are encoded in the input graph.
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the International Workshop on Social Network Analysis using Formal Concept Analysis (SNAFCA 2015) in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja, Spain |
Editors | Sergei O. Kuznetsov, Rokia Missaoui, Sergei A. Obiedkov |
Publisher | CEUR-WS.org |
Volume | 1534 |
Publication status | Published - 25 Jun 2015 |
Peer-reviewed | Yes |
Publication series
Series | CEUR Workshop Proceedings |
---|
External IDs
ORCID | /0000-0003-0219-0330/work/153109405 |
---|