1285 search results - page 215 / 257 » Description Logic Reasoner: System Description |
127
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
120
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
122
click to vote
POLICY
2007
Springer
15 years 7 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
108
Voted
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
139
click to vote
TPCD
1994
15 years 2 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...