87 search results - page 3 / 18 » On the Update of Description Logic Ontologies at the Instanc... |
SSDBM
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description...
WISE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
FLAIRS
2001
13 years 7 months ago
2001
Electronic marketplaces, or e-commerce portals, bring together many online suppliers and buyers. Each individual participant can potentially use his own format to represent the pr...
JSC
2010
13 years 4 months ago
2010
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
DLOG
2010
13 years 3 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...