Results 251 to 260 of about 328,022 (293)

Checking the consistency of a hybrid knowledge base system

Knowledge-Based Systems, 2007
This paper concerns a method to verify the consistency of a hybrid knowledge base system. We assume the knowledge base of the verified system supports the representation of production rules and frame taxonomies. Moreover, the knowledge base can also be used to represent non-monotonic and uncertain reasoning. For the purpose of the verification, an ATMS
Jaime Ramírez, Angélica de Antonio
openaire   +1 more source

Knowledge-base/database consistency in a federated multidatabase environment

Proceedings RIDE-IMS `93: Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems, 2002
The paper describes a new approach to maintaining consistency between objects which reside in dynamic, shared databases and copies of those objects which are cached in application knowledge-bases. The approach relies on an intelligent interface to active databases, a mediator for approximate consistency (MAC).
L.J. Seligman, L. Kerschberg
openaire   +1 more source

Domain Knowledge Consistency Checking for Ontology-Based Requirement Engineering

2008 International Conference on Computer Science and Software Engineering, 2008
Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality. In ontology-based requirements engineering, ontology is used to express domain knowledge, so that the inconsistency of domain knowledge can be found by semantic checking.
Yang Ying-ying, Li Zong-yong, Wang Zhi-xue   +2 more
openaire   +1 more source

A method to check knowledge base consistency

1988
When developing expert systems, checking knowledge base consistency becomes more and more necessary. As it has been done in a Data Base Management System (DBMS), we propose to define along with the deductive rules, new relations to specify what is permitted and what is forbidden.
openaire   +1 more source

Knowledge base approach to consistency management of UML specifications

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2005
The use of the Unified Modelling Language (UML) during systems development has been growing in scale and complexity, often resulting in inconsistent specifications. We present a knowledge base goal-driven approach for consistency management of UML specifications represented as axioms which define goals.
A. Zisman, A. Kozlenkov
openaire   +1 more source

Consistent Knowledge Distillation Based on Siamese Networks

2021
Jialiang Tang, Xiaoyan Yang, Xin Cheng, Ning Jiang, Wenxin Yu, Peng Zhang   +5 more
openaire   +1 more source

Knowledge base maintenance and consistency checking in MOLTKE/HyDi

1992
This paper deals with special problems of knowledge base maintenance which have to be solved within the knowledge acquisition process. We illustrate that aspects of maintenance must be taken into account by the design model construction because dependencies between pieces of knowledge can result in inconsistent states of a knowledge base. We describe a
openaire   +1 more source

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases

, 1997
Bertrand Mazure, Lakhdar Saïs, Éric Grégoire   +2 more
openalex   +1 more source

Probabilistic spatio-temporal knowledge bases: Capacity constraints, count queries, and consistency checking

, 2018
John Grant, Cristian Molinaro, Francesco Parisi   +2 more
openalex   +1 more source

A consistency-based framework for merging knowledge bases

Journal of Applied Logic, 2007
Torsten Schaub
exaly