Add to ORKGThe paper studies description logics as a method of field of artificial intelligence, describes history of knowledge representation as series of events leading to founding of description logics. Furthermore the paper compares description logics with their predecessor, the frame systems. Syntax, semantics and description logics naming convention is also presented and algorithms solving common knowledge representation tasks with usage of description logics are described. Paper compares computational complexity of subsumption of several description logics. Usefullness and further possibilities of description logic systems are shown. Powered by TCPDF (www.tcpdf.org
This report presents the status of the research the author is conducting on the development of a com...
Semantic networks were developed in cognitive science and artificial intelligence studies as graphic...
In this paper we would like to present some preliminary ideas on the possibility of using principled...
Description logics are embodied in several knowledge-based systems and are used to develop various r...
The research in the domain of knowledge representation and reasoning has always concentrated on the ...
Most researchers to date in artificial intelligence has been based on the knowledge representation h...
This thesis deals with one important aspect of Artificial Intelligence, knowledge representation and...
This thesis deals with one important aspect of Artificial Intelligence, knowledge representation and...
One of the key objectives of research in Artificial Intelligence (AI) from its very beginning is the...
Research in knowledge representation has led to the development of so-called terminological logics, ...
Knowledge representation is an active field of Artificial Intelligence research. The method of repre...
Research in knowledge representation has led to the development of so-called terminological logics, ...
Class-based languages express knowledge in terms of objects and classes, and have inspired a huge nu...
This book explores the building of expert systems using logic for knowledge representation and meta-...
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts I...
This report presents the status of the research the author is conducting on the development of a com...
Semantic networks were developed in cognitive science and artificial intelligence studies as graphic...
In this paper we would like to present some preliminary ideas on the possibility of using principled...
Description logics are embodied in several knowledge-based systems and are used to develop various r...
The research in the domain of knowledge representation and reasoning has always concentrated on the ...
Most researchers to date in artificial intelligence has been based on the knowledge representation h...
This thesis deals with one important aspect of Artificial Intelligence, knowledge representation and...
This thesis deals with one important aspect of Artificial Intelligence, knowledge representation and...
One of the key objectives of research in Artificial Intelligence (AI) from its very beginning is the...
Research in knowledge representation has led to the development of so-called terminological logics, ...
Knowledge representation is an active field of Artificial Intelligence research. The method of repre...
Research in knowledge representation has led to the development of so-called terminological logics, ...
Class-based languages express knowledge in terms of objects and classes, and have inspired a huge nu...
This book explores the building of expert systems using logic for knowledge representation and meta-...
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts I...
This report presents the status of the research the author is conducting on the development of a com...
Semantic networks were developed in cognitive science and artificial intelligence studies as graphic...
In this paper we would like to present some preliminary ideas on the possibility of using principled...