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

Full description

Saved in:

Bibliographic Details
Published in:	Artificial intelligence Vol. 174; no. 15; pp. 1093 - 1141
Main Authors:	Kontchakov, Roman, Wolter, Frank, Zakharyaschev, Michael
Format:	Journal Article
Language:	English
Published:	Oxford Elsevier B.V 01.10.2010 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!