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ženo v:

Podrobná bibliografie
Vydáno v:	Artificial intelligence Ročník 174; číslo 15; s. 1093 - 1141
Hlavní autoři:	Kontchakov, Roman, Wolter, Frank, Zakharyaschev, Michael
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Oxford Elsevier B.V 01.10.2010 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!