2414 search results - page 26 / 483 » Reasoning Support for OWL-E |
AI
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
ITS
2010
Springer
13 years 7 months ago
2010
Springer
This paper presents a case-based reasoning (CBR) approach to provide adaptive support in microworlds. Interaction in microworlds is complex and unstructured, making the analysis of...
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
SIGSOFT
1998
ACM
14 years 2 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...