Consistency (knowledge bases)
http://dbpedia.org/resource/Consistency_(knowledge_bases)
A knowledge base KB is consistent iff its negation is not a tautology. I.e., a knowledge base KB is inconsistent (not consistent) iff there is no interpretation which entails KB. Example of an inconsistent knowledge base: KB := { a, ¬a } Consistency in terms of knowledge bases is mostly the same as the natural understanding of consistency.
* v
* t
* e
* v
* t
* e
rdf:langString
rdf:langString
Consistency (knowledge bases)
xsd:integer
25154802
xsd:integer
731053736
rdf:langString
A knowledge base KB is consistent iff its negation is not a tautology. I.e., a knowledge base KB is inconsistent (not consistent) iff there is no interpretation which entails KB. Example of an inconsistent knowledge base: KB := { a, ¬a } Consistency in terms of knowledge bases is mostly the same as the natural understanding of consistency.
* v
* t
* e
* v
* t
* e
xsd:nonNegativeInteger
507