loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jaime Ramírez and Angélica de Antonio

Affiliation: Technical University of Madrid, Spain

Abstract: The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a deductive system (DS). A DS verified by this method contains a set of production rules, and an OWL Lite ontology that defines the problem domain. The antecedent of a rule is a formula in Disjunctive Normal Form, which encompasses first-order literals and linear arithmetic constraints, and the consequent is a list of actions that can add or delete assertions in a non-monotonic manner. By building an ATMS-like theory the method is able to give a specification of all the initial Fact Bases (FBs), and the rules that would have to be executed from these initial FBs to produce an inconsistency.

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.140.196.5

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:
Ramírez, J. and de Antonio, A. (2005). Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS; ISBN 972-8865-22-8, SciTePress, pages 19-28. DOI: 10.5220/0002573400190028

@conference{msvveis05,
author={Jaime Ramírez. and Angélica {de Antonio}.},
title={Consistency Verification of a Non-monotonic Deductive System based on OWL Lite},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS},
year={2005},
pages={19-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002573400190028},
isbn={972-8865-22-8},
}

TY - CONF

JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS
TI - Consistency Verification of a Non-monotonic Deductive System based on OWL Lite
SN - 972-8865-22-8
AU - Ramírez, J.
AU - de Antonio, A.
PY - 2005
SP - 19
EP - 28
DO - 10.5220/0002573400190028
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic