1746 search results - page 128 / 350 » A Constructive Semantics for ALC |
175
click to vote
SG
2005
Springer
15 years 10 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
140
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
119
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
The Semantic Web is still a web, a collection of linked nodes. Navigation of links is currently, and will remain for humans if not machines, a key mechanism for exploring the spac...
147
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
146
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Most of the challenges faced when building the Semantic Web require a substantial amount of human labor and intelligence. Despite significant advancement in ontology learning and h...