From Wine to Water: Optimizing Description Logic Reasoning for Nominals.

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

• Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
  অনুযায়ী: Cucala, D, অন্যান্য
  প্রকাশিত: (2017)
• Generalized Link Properties for Expressive E−connections of Description Logics.
  অনুযায়ী: Parsia, B, অন্যান্য
  প্রকাশিত: (2005)
• Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
  অনুযায়ী: Cucala, D, অন্যান্য
  প্রকাশিত: (2018)
• Pay-as-you-go consequence-based reasoning for the description logic SROIQ
  অনুযায়ী: Tena Cucala, D, অন্যান্য
  প্রকাশিত: (2021)
• Consequence-based reasoning for description logics with disjunctions and number restrictions
  অনুযায়ী: Bate, A, অন্যান্য
  প্রকাশিত: (2018)