Sciweavers

22 search results - page 3 / 5
» An Algorithmic Approach to Recover Inconsistent Knowledge-Ba...
Sort
View
111
Voted
ESWS
2007
Springer
15 years 9 months ago
Algorithms for Paraconsistent Reasoning with OWL
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
Yue Ma, Pascal Hitzler, Zuoquan Lin
114
Voted
AAAI
2006
15 years 4 months ago
Forgetting and Conflict Resolving in Disjunctive Logic Programming
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
Thomas Eiter, Kewen Wang
125
Voted
ICSM
1999
IEEE
15 years 7 months ago
Maintaining Traceability During Object-Oriented Software Evolution: A Case Study
This paper presents an approach to build and visualize traceability links and properties of a set of OO software releases. The process recovers an "as is" design from C+...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...
112
Voted
SEMWEB
2009
Springer
15 years 9 months ago
Graph-Based Ontology Construction from Heterogenous Evidences
Abstract. Ontologies are tools for describing and structuring knowledge, with many applications in searching and analyzing complex knowledge bases. Since building them manually is ...
Christoph Böhm, Philip Groth, Ulf Leser
154
Voted
BPSC
2009
240views Business» more  BPSC 2009»
15 years 3 months ago
Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
Wolfgang Runte