Formal Concept Analysis Methods for Description Logics

Formal Concept Analysis Methods for Description Logics

This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of compu...

Full description

Bibliographic Details
Main Author: Sertkaya, Baris
Other Authors: Technische Universität Dresden, Informatik
Format: Doctoral Thesis
Language:English
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2008
Subjects:
Description Logics
Formal Concept Analysis
knowledge base
bottom-up construction
ontology
completion
attribute exploration
closed set
minimal generators
Beschreibungslogik
Formale Begriffsanalyse
Wissensbasis
Ontologie
Attributexploration
abgeschlossene Menge
minimale Erzeuger
ddc:004
rvk:ST 125
Online Access:http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1215598189927-85390
http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1215598189927-85390
http://www.qucosa.de/fileadmin/data/qucosa/documents/79/1215598189927-8539.pdf
id ndltd-DRESDEN-oai-qucosa.de-bsz-14-ds-1215598189927-85390
record_format oai_dc
spelling ndltd-DRESDEN-oai-qucosa.de-bsz-14-ds-1215598189927-853902013-01-07T19:48:06Z Formal Concept Analysis Methods for Description Logics Formale Begriffsanalyse Methoden für Beschreibungslogiken Sertkaya, Baris Description Logics Formal Concept Analysis knowledge base bottom-up construction ontology completion attribute exploration closed set minimal generators Beschreibungslogik Formale Begriffsanalyse Wissensbasis Ontologie Attributexploration abgeschlossene Menge minimale Erzeuger ddc:004 rvk:ST 125 This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets. Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden Technische Universität Dresden, Informatik Prof. Dr.-Ing Franz Baader Prof. Dr. rer. nat. Bernhard Ganter Prof. Dr.-Ing. Franz Baader Prof. Dr. rer. nat. Bernhard Ganter Prof. Dr. rer. nat. habil. Ulrike Sattler 2008-07-09 doc-type:doctoralThesis application/pdf http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1215598189927-85390 urn:nbn:de:bsz:14-ds-1215598189927-85390 PPN284296015 http://www.qucosa.de/fileadmin/data/qucosa/documents/79/1215598189927-8539.pdf eng
collection NDLTD
language English
format Doctoral Thesis
sources NDLTD
topic Description Logics
Formal Concept Analysis
knowledge base
bottom-up construction
ontology
completion
attribute exploration
closed set
minimal generators
Beschreibungslogik
Formale Begriffsanalyse
Wissensbasis
Ontologie
Attributexploration
abgeschlossene Menge
minimale Erzeuger
ddc:004
rvk:ST 125
spellingShingle Description Logics
Formal Concept Analysis
knowledge base
bottom-up construction
ontology
completion
attribute exploration
closed set
minimal generators
Beschreibungslogik
Formale Begriffsanalyse
Wissensbasis
Ontologie
Attributexploration
abgeschlossene Menge
minimale Erzeuger
ddc:004
rvk:ST 125
Sertkaya, Baris
Formal Concept Analysis Methods for Description Logics
description This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.
author2 Technische Universität Dresden, Informatik
author_facet Technische Universität Dresden, Informatik
Sertkaya, Baris
author Sertkaya, Baris
author_sort Sertkaya, Baris
title Formal Concept Analysis Methods for Description Logics
title_short Formal Concept Analysis Methods for Description Logics
title_full Formal Concept Analysis Methods for Description Logics
title_fullStr Formal Concept Analysis Methods for Description Logics
title_full_unstemmed Formal Concept Analysis Methods for Description Logics
title_sort formal concept analysis methods for description logics
publisher Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
publishDate 2008
url http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1215598189927-85390
http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1215598189927-85390
http://www.qucosa.de/fileadmin/data/qucosa/documents/79/1215598189927-8539.pdf
work_keys_str_mv AT sertkayabaris formalconceptanalysismethodsfordescriptionlogics
AT sertkayabaris formalebegriffsanalysemethodenfurbeschreibungslogiken
_version_ 1716470560780713984

Similar Items