Reducing OWL entailment to description logic satisfiability 论文

2004Journal of Web Semantics引用 389顶会
Semantic Web and OntologiesLogic, Reasoning, and KnowledgeNatural Language Processing Techniques