An epistemic operator for description logics
نویسندگان
چکیده
منابع مشابه
An Epistemic Operator for Description Logics
Description iogics (aiso caiied terminoiogicai iogics, or concept ianguagesj are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of frame-based systems-such as nonmonotonic reasoning and procedural rules-that cannot be characterized in a standard first-order framework. Such features are needed for real applica...
متن کاملA refinement operator for inducing Description Logics
We present a new refinement operator that guides an ILP search through a lattice of a Horn clause representation of Description Logic (DL) clauses. Our operator dramatically narrows the search space by being aware of syntactic restrictions on the Horn representation stemming from both the syntax and semantics of DLs as well as from axioms present in the specific background of each experiment.
متن کاملRevisiting Semantics for Epistemic Extensions of Description Logics
Epistemic extensions of description logics (DLs) have been introduced several years ago in order to enhance expressivity and querying capabilities of these logics by knowledge base introspection. We argue that unintended effects occur when imposing the traditionally employed semantics on the very expressive DLs that underly the OWL 1 and OWL 2 standards. Consequently, we suggest a revised seman...
متن کاملOn the semantics of epistemic description logics . ( Extended
The modal description logic AEA:/C both constitutes a promising framework for reasoning about actions and allows for the formalization of several non-first-order aspects of KR systems based on DLs. However, other nonmonotonic features of DL-based KR systems, in particular role and concept closure inside the knowledge base, lack an intuitive formalization in this modal framework. To overcome the...
متن کاملOn the Semantics of Epistemic Description Logics (extended Abstract)
The modal description logic ALCK both constitutes a promising framework for reasoning about actions and allows for the formalization of several non-rst-order aspects of KR systems based on DLs. However, other non-monotonic features of DL-based KR systems, in particular role and concept closure inside the knowledge base, lack an intuitive formalization in this modal framework. To overcome these ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1998
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(98)00009-5