Description Logics: Foundations for Class-based Knowledge Representation
نویسندگان
چکیده
Class-based languages express knowledge in terms of objects and classes, and have inspired a huge number of formalisms in computer science. Description logics form a family of both class-based and logic-based knowledge representation languages which allow for modeling an application domain in terms of objects, classes and relationships between classes, and for reasoning about them. This paper presents an overview of the research carried out in the last years in description logics, with the main goal of illustrating how these logics provide the foundations for class-based knowledge representation formalisms.
منابع مشابه
A Comparison of Paraconsistent Description Logics
Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies wh...
متن کاملAttributive Description Formalisms
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information...
متن کاملAttributive Description Formalisms : : : and the Rest of the World Published
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artiicial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information ...
متن کاملLearnability of the Classic Knowledge Representation Language
Much of the work in inductive learning considers languages that represent hypotheses using some restricted form of propositional logic; an important research problem is extending propo-sitional learning algorithms to use more expressive rst-order representations. Further, it is desirable for these algorithms to have solid theoretical foundations, so that their behavior is reliable and predictab...
متن کاملWhat's in an Aggregate: Foundations for Description Logics with Tuples and Sets
Based on the research done in the last decade, attempts have been made to propose descript ion logics as unifying formalisms for the various class-based representation languages used in different areas. These attempts have made apparent that sound, complete, and decidable description logics st i l l suffer from several l imitat ions, regarding modeling classes of aggregate objects, expressing g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002