Techreport1516: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
| (3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| − | {{Publikation | + | {{Publikation Erster Autor |
| − | | | + | |ErsterAutorNachname=Rudolph |
| − | | | + | |ErsterAutorVorname=Sebastian |
}} | }} | ||
{{Techreport | {{Techreport | ||
| Zeile 8: | Zeile 8: | ||
|Month=Juli | |Month=Juli | ||
|Institution=Institute AIFB, University of Karlsruhe | |Institution=Institute AIFB, University of Karlsruhe | ||
| − | | | + | |Archivierungsnummer=1516 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
| Zeile 22: | Zeile 22: | ||
roles come into play and demonstrate the presented method in a small example. | roles come into play and demonstrate the presented method in a small example. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
| − | |Download= | + | |Download=2007_1516_Rudolph_Generalized_Dom_1.pdf |
|DOI Name= | |DOI Name= | ||
| − | |||
|Projekt= | |Projekt= | ||
| − | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} | ||
Aktuelle Version vom 16. Oktober 2009, 22:49 Uhr
Published: 2007
Juli
Institution: Institute AIFB, University of Karlsruhe
Archivierungsnummer: 1516
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.
Download: Media:2007_1516_Rudolph_Generalized_Dom_1.pdf