Reasoning on XBRL metadata in Description Logic
نویسندگان
چکیده
منابع مشابه
Parallelizing Description Logic Reasoning
Parallelizing Description Logic Reasoning Kejia Wu, Ph.D. Concordia University, 2014 Description Logic has become one of the primary knowledge representation and reasoning methodologies during the last twenty years. A lot of areas are benefiting from description logic based technologies. Description logic reasoning algorithms and a number of optimization techniques for them play an important ro...
متن کاملExplaining Description Logic Reasoning
The increasing reliance on automated reasoning needs not just the availability of fast reasoners, but also mechanisms to explain their, often surprising, results to human users, so that they can understand the consequences in their application domain. As one of the significant applications of machine reasoning is the Semantic Web, where reasoning on Description Logic(DL) plays a critical role, ...
متن کاملProlog Based Description Logic Reasoning
In this paper we present the recent developments of the DLog system, an ABox reasoning engine for the the SHIQ description logic language. DLog differs from traditional description logic reasoners in that it transforms description logic axioms into a Prolog program. The transformation is done independently from the ABox, i.e. the set of assertions about the individuals. This makes it possible t...
متن کاملIndividual Reuse in Description Logic Reasoning
Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowledge bases (KBs), mainly because they end up building very large models. To address this, we propose a tableau calculus with individual reuse: to satisfy an existential assertion, our calculus nondeterministically tries to reus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Technology Journal
سال: 2013
ISSN: 1812-5638
DOI: 10.3923/itj.2013.8000.8004