Axiomatisation of General Concept Inclusions from Finite Interpretations

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

Abstract

Description logic knowledge bases can be used to represent knowledge about a particular domain in a formal and unambiguous manner. Their practical relevance has been shown in many research areas, especially in biology and the Semantic Web. However, the tasks of constructing knowledge bases itself, often performed by human experts, is difficult, time-consuming and expensive. In particular the synthesis of terminological knowledge is a challenge every expert has to face. Because human experts cannot be omitted completely from the construction of knowledge bases, it would therefore be desirable to at least get some support from machines during this process. To this end, we shall investigate in this work an approach which shall allow us to extract terminological knowledge in the form of general concept inclusions from factual data, where the data is given in the form of vertex and edge labeled graphs. As such graphs appear naturally within the scope of the Semantic Web in the form of sets of RDF triples, the presented approach opens up another possibility to extract terminological knowledge from the Linked Open Data Cloud.

Details

Original languageEnglish
Pages (from-to)1-46
Number of pages46
JournalJournal of applied non-classical logics
Volume26
Issue number1
Publication statusPublished - 10 Jul 2016
Peer-reviewedYes

External IDs

Scopus 84978055894
ORCID /0000-0003-0219-0330/work/153109400

Keywords