214 search results - page 39 / 43 » Optimisation of Terminological Reasoning |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
ROBOCUP
2004
Springer
14 years 24 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
SEMWEB
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. The upper-level ontologies are theories that capture the most common concepts, which are relevant for many of the tasks involving knowledge extraction, representation, an...
AAAI
2007
13 years 9 months ago
2007
The long-term goal of Project Halo is to build an application called Digital Aristotle that can answer questions on a variety of science topics and provide user and domain appropr...
EKAW
2008
Springer
13 years 9 months ago
2008
Springer
Despite the potential of domain ontologies to provide consensual representations of domain-relevant knowledge, the open, distributed and decentralized nature of the Semantic Web me...