Lexical Knowledge Structures

Semantics : Rewrite rule
{f 1 , ..., f n } ↩→ f
i.e., given facts f 1 to f n , fact f is infered.
Φ ↩→ (domain, RANGE, class)
Φ ↩→ (domain, DOMAIN, relation)
i.e., range for domain (which is a relation) will be a class.
But, “domain”relation can only be applied to a relation.
So, any relation‘s domain will always be some class.
E.g.# (isCitizenOf, domain, person)
Φ ↩→ (range, RANGE, class)
Φ ↩→ (range, DOMAIN, relation)
E.g.# (isCitizenOf, range, country)
A K Nirala
Lexical Knowledge Structures