We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...