Sciweavers

4987 search results - page 364 / 998
» Support Ordered Resolution
Sort
View
DLOG
2004
15 years 7 months ago
Efficient Reasoning with Range and Domain Constraints
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
Dmitry Tsarkov, Ian Horrocks
147
Voted
FLAIRS
2006
15 years 7 months ago
Intelligent Browsing Assistance for Corporate Knowledge Portals
The management of knowledge, i.e. knowing what is known and the ability to exploit it is a burning issue for most organizations. Though knowledge management has a strong social pe...
Markus Zanker, Sergiu Gordea, Marius-Calin Silaghi
DC
2001
15 years 7 months ago
Personalizing Information Spaces: A Metadata Based Approach
The amount and variety of information available today in digital form continue to increase at a rapid rate. To keep pace with these trends, knowledge workers must be empowered wit...
David L. Hicks, Klaus Tochtermann
ECIS
2001
15 years 7 months ago
Commitments Enabling Co-Operation in Distributed Information Systems Development
Information systems development is regarded as a series of distributed activities aiming at allocating resources in order to promote the development and use of computer-based syst...
Ralf Klischewski
172
Voted
INTERACT
2003
15 years 7 months ago
Implementing Learning Content Management
: The concept of Learning Objects has been introduced in the e-learning field to enhance the accessibility, reusability, and interoperability of learning content. Despite intensive...
Samuel Schluep, Pamela Ravasio, Sissel Guttormsen ...