Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings1628

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Acquiring Generalized Domain-Range Restrictions




Published: 2008 Februar
Herausgeber: Raoul Medina and Sergei Obiedkov
Buchtitel: Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08)
Ausgabe: 4933
Reihe: Lecture Notes in Artificial Intelligence
Seiten: 32-45
Verlag: Springer
Referierte Veröffentlichung
BibTeX

Kurzfassung
Proposing a certain notion of logical completeness as a novel quality criterion for ontologies, we identify and characterise a class of logical propositions which naturally extend domain and range restrictions commonly known from diverse ontology modelling approaches. We argue for the intuitivity of this kind of axioms and show that they fit equally well into formalisms based on rules as well as ones based on description logics. Extending the attribute exploration technique from formal concept analysis (FCA), we present an algorithm for the efficient interactive specification of all axioms of this form valid in a domain of interest. We compile some results that apply when role hierarchies and symmetric roles come into play and demonstrate the presented method in a small example.

ISBN: 978-3-540-78136-3
Download: Media:2008_1628_Rudolph_Acquiring_Gener_1.pdf

Projekt

ReaSemNeOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Wissensrepräsentationssprachen, Formale Begriffsanalyse, Wissensrepräsentation