Sciweavers

4 search results - page 1 / 1
» Relational Exploration - Reconciling Plato and Aristotle
Sort
View
CADE
2000
Springer
13 years 8 months ago
Reasoning with Individuals for the Description Logic SHIQ
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...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
ECIS
2004
13 years 5 months ago
Power relations in cyber communities
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...
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
13 years 8 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell
WSPI
2004
13 years 5 months ago
Ontology: The Discipline and the Tool
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 ...
Doug Mayhew, Dirk Siebert