Sciweavers

654 search results - page 73 / 131
» Graph-based Knowledge Representation and Reasoning
Sort
View
DLOG
2004
15 years 1 months ago
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems...
Sebastian Brandt
DLOG
2006
15 years 1 months ago
SHIN ABox Reduction
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
Achille Fokoue, Aaron Kershenbaum, Li Ma
DLOG
2010
14 years 9 months ago
Paraconsistent Description Logics Revisited
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
Norihiro Kamide
FLAIRS
2009
14 years 9 months ago
Supporting Uncertainty and Inconsistency in Semantic Web Applications
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
Neli P. Zlatareva
SEMWEB
2007
Springer
15 years 6 months ago
An Event-Based Approach for Semantic Metadata Interoperability
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
Tuukka Ruotsalo, Eero Hyvönen