Ontology-based Case-Based Reasoning (OntCBR) for Engineering ...

3. Proposed Approach
Logic representation
Horn logic [HL]
a disjunction of literals with at most 1 positive.
(p∧q∧…∧r → u) ≡ (¬p∨¬q∨...∨¬r ∨ u)
All logical variables are universally quantified at the outer level.
An inference algorithm that derives only entailed sentences (not
entailed) is called sound (not)or truth-preserving.
An inference algorithm that can derive any sentence (not all) that is
entailed is complete (not).