PION2.1 Testbed (on localhost)
URL:
Select Example
:
Bird Example
Brain Example
Married Woman Example
MadCow Example 1 (OWL)
MadCow Example 2 (OWL)
MadCow Example 3 (DIG)
MadCow Example 4 (DIG)
bird => animal (Birds are animals) bird => fly (Birds are flying animals) eagle => bird (Eagles are birds) penguin => bird (Penguins are birds) penguin => NOT fly (Penguins are not flying animals) penguin(tweety) (tweety is a penguin) eagle(fred) (fred is an eagle)
Select Function
:
Syntactic Relevance
Syntactic Concept Relevance
Semantic Relevance by Google Distance
Overdetermed Processing
:
First Maximal Consistent Set
Path Pruning with Google Distance
Select Strategy
:
Linear Extension
K Extension
K=