loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Michael Chan ; Jos Lehmann and Alan Bundy

Affiliation: University of Edinburgh, United Kingdom

Keyword(s): Ontology, Automated ontology evolution, Ontology conflict detection, Higher-order logic, Ontology repair plans, Isabelle/HOL, Development graphs, GALILEO.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Collaboration and e-Services ; e-Business ; Enterprise Information Systems ; Enterprise Software Technologies ; Intelligent Problem Solving ; Knowledge Engineering and Ontology Development ; Knowledge Reengineering ; Knowledge Representation ; Knowledge-Based Systems ; Semantic Web ; Soft Computing ; Software Engineering ; Symbolic Systems

Abstract: The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments characterised by the heterogeneity of data and of representation languages. Our approach is based on patterns of diagnosis of faults detected across multiple ontologies. Such patterns allow to identify the type of repair required when conflicting ontologies yield erroneous inferences. We assume that each ontology is locally consistent, i.e. inconsistency arises only across ontologies when they are merged together. Local consistency avoids the derivation of uninteresting theorems, so the formula for diagnosis can essentially be seen as an open theorem over the ontologies. The system's application domain is physics; we have adopted a modular formalisation of physics, structured by means of locales in Isabelle, to perform modular higher-order reaso ning, and visualised by means of development graphs. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.94.150.98

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Chan, M.; Lehmann, J. and Bundy, A. (2010). HIGHER-ORDER REPRESENTATION AND REASONING FOR AUTOMATED ONTOLOGY EVOLUTION. In Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2010) - KEOD; ISBN 978-989-8425-29-4; ISSN 2184-3228, SciTePress, pages 84-93. DOI: 10.5220/0003097800840093

@conference{keod10,
author={Michael Chan. and Jos Lehmann. and Alan Bundy.},
title={HIGHER-ORDER REPRESENTATION AND REASONING FOR AUTOMATED ONTOLOGY EVOLUTION},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2010) - KEOD},
year={2010},
pages={84-93},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003097800840093},
isbn={978-989-8425-29-4},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2010) - KEOD
TI - HIGHER-ORDER REPRESENTATION AND REASONING FOR AUTOMATED ONTOLOGY EVOLUTION
SN - 978-989-8425-29-4
IS - 2184-3228
AU - Chan, M.
AU - Lehmann, J.
AU - Bundy, A.
PY - 2010
SP - 84
EP - 93
DO - 10.5220/0003097800840093
PB - SciTePress