权威例句
Inverse entailment and progolInverse Entailment and ProgolReducing OWL Entailment to Description Logic SatisfiabilityReducing OWL entailment to description logic satisfiabilityThe PASCAL Recognising Textual Entailment ChallengeThe PASCAL Recognising Textual Entailment Challenge.A survey of paraphrasing and textual entailment methodsInconsistency Management and Prioritized Syntax-Based Entailment.Temporal Interpretation, Discourse Relations and Commonsense EntailmentCompleteness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary ☆
