Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning

Authors:
Jose A. Alonso-Jimenez;Joaquin Borrego-Diaz;Antonia M. Chavez-Gonzalez;Francisco J. Martin-Mateos
Affiliations:
Universidad de Sevilla;Universidad de Sevilla;Universidad de Sevilla;Universidad de Sevilla
Venue:
IEEE Intelligent Systems
Year:
2006

Citing 16
Cited 6

Argumentative logics: reasoning with classically inconsistent information

Data & Knowledge Engineering
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Evaluating ontological decisions with OntoClean

Communications of the ACM - Ontology: different ways of representing the same concept
Agents and the Semantic Web

IEEE Intelligent Systems
Two Information Measures for Inconsistent Sets

Journal of Logic, Language and Information
Ontologies for Enterprise Knowledge Management

IEEE Intelligent Systems
Towards the semantic web: knowledge representation in a dynamic, distributed environment

Towards the semantic web: knowledge representation in a dynamic, distributed environment
Resource-Bounded Paraconsistent Inference

Annals of Mathematics and Artificial Intelligence
Consistency preserving updates in deductive databases

Data & Knowledge Engineering
Database Repairs and Analytic Tableaux

Annals of Mathematics and Artificial Intelligence
Towards a practical argumentative reasoning with qualitative spatial databases

IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Where Are the Rules?

IEEE Intelligent Systems
Evaluating significance of inconsistencies

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Querying inconsistent databases

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Consistency enforcement in databases

Proceedings of the 2nd international conference on Semantics in databases
Connecting databases with argumentation

INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support

Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies

Uncertainty Reasoning for the Semantic Web I
A formal foundation for knowledge integration of defficent information in the semantic web

EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
A formally verified prover for the ALC description logic

TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Lightweight XML semantic integration: a global schema independent approach

International Journal of Information and Communication Technology
Visual ontology cleaning: cognitive principles and applicability

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Extension of ontologies assisted by automated reasoning systems

EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory

Quantified Score

Hi-index	0.01

Visualization

Abstract

Applying automated reasoning systems to data cleaning in the Semantic Web raises many foundational challenges regarding cleaning-agent design. The authors discuss these challenges and then argue that we can achieve logic trust in the Semantic Web only if it's based on certified reasoning.This article is part of the special issue entitled AI, Agents, and the Web.