598 search results - page 41 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
ER
2006
Springer
15 years 1 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
103
click to vote
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
104
click to vote
SEMWEB
2009
Springer
15 years 2 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
103
click to vote
DLOG
2003
14 years 11 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...