2308 search results - page 69 / 462 » Categorial Semantics For LFG |
WWW
2005
ACM
16 years 16 days ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
100
click to vote
WWW
2005
ACM
16 years 16 days ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
100
click to vote
WWW
2004
ACM
16 years 16 days ago
2004
ACM
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...
WWW
2003
ACM
16 years 16 days ago
2003
ACM
The growing use of ontologies in applications creates the need for an infrastructure that allows developers to more easily combine different software modules like ontology stores,...
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
As the use of wireless sensor networks expands, there will be multiple, independent networks operating in the same physical space. These networks will run heterogeneous applicatio...