Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
Peoples' need to socialise with others and greed for power can be best captured with Aristotle's famous description of human beings as "political animals"/&quo...
LeMai Nguyen, Luba Torlina, Konrad J. Peszynski, B...
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Abstract. The fields of philosophy and informatics entertain two somewhat different conceptions of ontology. Philosophical ontology is a branch of metaphysics dating back at least ...