Sciweavers

2414 search results - page 78 / 483
» Reasoning Support for OWL-E
Sort
View
DLOG
2003
13 years 11 months ago
From Lexicon To Mammographic Ontology: Experiences and Lessons
In this paper we describe our work on representing and constructing ontologies for breast mammography, which is part of planned set of comprehensive breast imaging and pathology o...
Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt
KBS
1998
66views more  KBS 1998»
13 years 9 months ago
Strategic knowledge in design: a compositional approach
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...
Frances M. T. Brazier, Pieter H. G. van Langen, Ja...
KR
2004
Springer
14 years 3 months ago
Multidimensional Mereotopology
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
Antony Galton
DEON
2010
Springer
14 years 2 months ago
Moral Particularism and Deontic Logic
The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have ...
Xavier Parent
AMAI
2006
Springer
13 years 10 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...