Extracting 𝓐𝓛𝓔𝓠𝓑(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 languageEnglish
Title of host publicationProceedings 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
EditorsSergei O. Kuznetsov, Rokia Missaoui, Sergei A. Obiedkov
PublisherCEUR-WS.org
Volume1534
Publication statusPublished - 25 Jun 2015
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings

External IDs

ORCID /0000-0003-0219-0330/work/153109405