Inproceedings1628
Acquiring Generalized Domain-Range Restrictions
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
Wissensrepräsentation, Wissensrepräsentationssprachen, Formale Begriffsanalyse