Here's the magic: A reasoner can INFER facts you never explicitly stated.
You say:

Bob is a Person
Bob has child Alice

The reasoner concludes: Bob is a Parent.
Not by pattern matching. By LOGICAL DEDUCTION from axioms.
This is what schemas can't do.
#SemanticReasoning #InferenceEngine

Here's the magic: A reasoner can INFER facts you never explicitly stated.
You say:

Bob is a Person
Bob has child Alice

The reasoner concludes: Bob is a Parent.
Not by pattern matching. By LOGICAL DEDUCTION from axioms.
This is what schemas can't do.
#SemanticReasoning #InferenceEngine