319 search results - page 42 / 64 » Uncertainty Reasoning in Description Logics: A Generic Appro... |
DLOG
2010
13 years 6 months ago
2010
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...
ESWS
2004
Springer
14 years 2 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
IEE
2008
13 years 8 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
DLOG
2008
13 years 11 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
TABLEAUX
2007
Springer
14 years 2 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...