From \ Principles of Knowledge Representation and Reasoning : Proceedings of the Fourth International Conference " Learning the Classic Description Logic : Theoretical and Experimental
نویسنده
چکیده
We present a series of theoretical and experimental results on the learnability of description logics. We rst extend previous formal learnability results on simple description logics to C-Classic, a description logic expressive enough to be practically useful. We then experimentally evaluate two extensions of a learning algorithm suggested by the formal analysis. The rst extension learns C-Classic descriptions from individuals. (The formal results assume that examples are themselves descriptions.) The second extension learns disjunctions of C-Classic descriptions from individuals. The experiments , which were conducted using several hundred target concepts from a number of domains, indicate that both extensions reliably learn complex natural concepts.
منابع مشابه
Organization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society
Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...
متن کاملIn : Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning
Research in NMR has focused largely on the idea of representing knowledge about the world via rules that are generally true but can be defeated. Even if relational databases are nowadays the main tool for storing very large sets of data, the approach of using non-monotonic formalisms as relational database query languages has been investigated to a much smaller extent. In this work we propose a...
متن کامل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...
متن کاملAn Investigation of Curriculum Genre Using Rose (2014) Pedagogic Exchange Model
Classroom learning consists of a variety of pedagogic relations including teachers and learners’ interactions, inclusions and exclusions of learners and evaluations. The purpose of this paper was to comprehensively examine the nature of these interactions using Rose (2014) pedagogic exchange model. The researchers qualitatively investigated the interactions of an experienced male EFL teacher wi...
متن کاملTheoretical principles of ethical architecture in the holy Quran: On the basis of Aristotelian logic in Islamic school of thought
This research is a Qur'anic review that examines the effects of ethics on architecture from the Holy Qur'an’s point of view with the goal of introducing logical theoretical principals of ethical architecture. In order to reach the research goal, this research conducts the Induction, deduction and reverse extraction of research’s resulted theoretical concepts based on Aristotle's formal logic. T...
متن کامل