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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Artificial intelligence Ročník 174; číslo 15; s. 1093 - 1141
Hlavní autori:	Kontchakov, Roman, Wolter, Frank, Zakharyaschev, Michael
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Oxford Elsevier B.V 01.10.2010 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!