4335 search results - page 204 / 867 » Ontology Engineering Relationally |
125
click to vote
ASWC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning ...
146
click to vote
IFIP12
2007
15 years 5 months ago
2007
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
146
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
127
click to vote
OOIS
1997
Springer
15 years 8 months ago
1997
Springer
Multidimensional discrete data (MDD), i.e. arrays of arbitrary size, dimension and base type, occur in a variety of application elds. The object-oriented DBMS RasDaMan2 provides d...
116
click to vote
HCI
2007
15 years 5 months ago
2007
A growing interest is seen for designing intelligent environments that support personally meaningful, sociable and rich everyday experiences. In this paper we describe an intellige...