Results 241 to 250 of about 324,780 (301)
Some of the next articles are maybe not open access.
Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency
Advanced Materials Research, 2012Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which reasoning can be answered efficiently. The precompilation of description logic knowledge base is important for reasoning and services of description logic.
Ya Qiong Jiang, Jun Wang
openaire +1 more source
Inductive consistency in knowledge-based decision support systems
Decision Support Systems, 1995Abstract Efforts to integrate knowledge into Decision Support Systems have lead to approaches that incorporate induction techniques to derive rules from data. Such integration efforts create a new integrity control challenge for Knowledge-Based Decision Support Systems. The challenge is recognizing and coping with change.
Heidi D. Owens, Andrew S. Philippakis
openaire +1 more source
Retaining Consistency for Knowledge-Based Security Testing
2014Testing of software and systems requires a set of inputs to the system under test as well as test oracles for checking the correctness of the obtained output. In this paper we focus on test oracles within the domain of security testing, which require consistent knowledge of security policies.
Andreas Bernauer +4 more
openaire +1 more source
Knowledge Base Maintenance and Consistency Checking in MOLTKE
2023This 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
Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases
Knowledge and Information Systems, 2012Non-standard query mechanisms that work under inconsistency are required in some important description logic (DL)-based applications, including those involving an inconsistent DL knowledge base ( KB) whose intensional knowledge is consistent but is violated by its extensional knowledge.
Jianfeng Du, Guilin Qi, Yi-Dong Shen
openaire +1 more source
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems, 2007This 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, 2002The 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, 2008Domain 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 +2 more
openaire +1 more source
A method to check knowledge base consistency
1988When 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), 2005The 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