Logic-based ontology comparison and module extraction, with an application to DL-Lite

We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of ‘lightweight’ description logics designed for data-intensive applications. The main feature of our approach is that we take into account the vocabulary...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence Jg. 174; H. 15; S. 1093 - 1141
Hauptverfasser:	Kontchakov, Roman, Wolter, Frank, Zakharyaschev, Michael
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Oxford Elsevier B.V 01.10.2010 Elsevier
Schlagworte:	Algorithmics. Computability. Computer arithmetics Algorithms Applied sciences Computational complexity Computer science; control theory; systems Description logic Encoding Entailment Exact sciences and technology Extraction Forgetting Inclusions Information systems. Data bases Language theory and syntactical analysis Logic Logical, boolean and switching functions Mathematical logic Memory organisation. Data processing Module extraction Modules Ontology Signatures Software Solvers Theoretical computing Uniform interpolation Forgetting Module extraction Description logic Ontology Uniform interpolation Computational complexity Entailment High performance Vocabulary Formal method Language theory Locality Knowledge representation Very large databases Syntactic analysis Logic design Logical programming Maintenance Distributed computing Semantic web Mathematical logic Computational linguistics Satisfiability
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!