2414 search results - page 403 / 483 » Reasoning Support for OWL-E |
223
click to vote
LOPSTR
2005
Springer
16 years 9 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
180
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
197
click to vote
TMRA
2005
Springer
16 years 9 days ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
189
click to vote
CSCW
2004
ACM
16 years 7 days ago
2004
ACM
Although telepointers are valuable for supporting real-time collaboration, they are rarely seen in commercial groupware applications that run on the Internet. One reason for their...
188
click to vote
MM
2004
ACM
16 years 7 days ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...