Name
Abstract | ||
|---|---|---|
The aim of this paper is to show a method that is able to detect a partic- ular 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 con- straints, 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. |
Year | Venue | Keywords |
|---|---|---|
2005 | MSVVEIS | disjunctive normal form,first order |
Field | DocType | Citations |
Ontology,Monotonic function,Problem domain,Computer science,Theoretical computer science,Linear arithmetic | Conference | 1 |
PageRank | References | Authors |
0.36 | 7 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jaime Ramírez | 1 | 114 | 16.36 |
| Angélica de Antonio | 2 | 161 | 27.23 |