4335 search results - page 389 / 867 » Ontology Engineering Relationally |
234
click to vote
AVI
2008
15 years 10 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
194
click to vote
WS
2010
ACM
15 years 6 months ago
2010
ACM
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner. This combination is...
330
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
We introduce TwinSpace, a flexible software infrastructure for combining interactive workspaces and collaborative virtual worlds. Its design is grounded in the need to support dee...
192
click to vote
FATES
2004
Springer
16 years 1 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
179
click to vote
FOSSACS
2004
Springer
16 years 1 months ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...