entailment

释义

需要，限定继承；

Inverse entailment and progol
Inverse Entailment and Progol
Reducing OWL Entailment to Description Logic Satisfiability
Reducing OWL entailment to description logic satisfiability
The PASCAL Recognising Textual Entailment Challenge
The PASCAL Recognising Textual Entailment Challenge.
A survey of paraphrasing and textual entailment methods
Inconsistency Management and Prioritized Syntax-Based Entailment.
Temporal Interpretation, Discourse Relations and Commonsense Entailment
Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary ☆