Title

Reasoning Approaches for Nominal Schemas

Document Type

Presentation

Publication Date

12-2-2012

Abstract

Nominal schemas are a new DL constructor which can be used like "variable nominal classes" within axioms. This feature allows DL languages to express arbitrary DL-safe rules in their native syntax. In this paper we summarize several reasoning approaches recently devised to reason over nominal schemas. Although we have made some progress, there are still some interesting challenges yet to be solved.

Comments

This paper was presented at the JIST2012: The 2nd Joint International Semantic Technology Conference, Dec. 2-4, 2012, Nara, Japan.