Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

অনুরূপ উপাদানগুলি

• Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
  অনুযায়ী: Sebastian Rudolph, অন্যান্য
  প্রকাশিত: (2012-02-01)
• Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
  অনুযায়ী: Rudolph, S, অন্যান্য
  প্রকাশিত: (2008)
• Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
  অনুযায়ী: Hustadt, U, অন্যান্য
  প্রকাশিত: (2007)
• Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
  অনুযায়ী: Kaminski, M, অন্যান্য
  প্রকাশিত: (2014)
• On the Semantic Relationship between Datalog and Description Logics.
  অনুযায়ী: Krötzsch, M, অন্যান্য
  প্রকাশিত: (2010)