1746 search results - page 28 / 350 » A Constructive Semantics for ALC |
159
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
207
click to vote
PADL
2011
Springer
14 years 6 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
137
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
We present KADOP, a distributed infrastructure for warehousing XML resources in a peer-to-peer framework. KADOP allows users to build a shared, distributed repository of resources...
104
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...
109
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...