Sciweavers

78 search results - page 8 / 16
» Representing and reasoning over a taxonomy of part-whole rel...
Sort
View
TMRA
2005
Springer
15 years 7 months ago
Collaborative Software Development and Topic Maps
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...
Markus Ueberall, Oswald Drobnik
228
Voted
ICDT
1995
ACM
105views Database» more  ICDT 1995»
15 years 5 months ago
Datalog Queries of Set Constraint Databases
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
Peter Z. Revesz
RR
2009
Springer
15 years 8 months ago
On the Ostensibly Silent 'W' in OWL 2 RL
In this paper, we discuss the draft OWL 2 RL profile from the perspective of applying the constituent rules over Web data. In particular, borrowing from previous work, we discuss ...
Aidan Hogan, Stefan Decker
126
Voted
AI
2007
Springer
15 years 2 months ago
Audiences in argumentation frameworks
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
Trevor J. M. Bench-Capon, Sylvie Doutre, Paul E. D...
124
Voted
CSL
2010
Springer
15 years 3 months ago
Automata vs. Logics on Data Words
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
Michael Benedikt, Clemens Ley, Gabriele Puppis