2395 search results - page 125 / 479 » Reasoning in Semantic Wikis |
119
click to vote
ESSLLI
1999
Springer
15 years 8 months ago
1999
Springer
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
183
click to vote
FMLDO
2000
Springer
15 years 8 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
143
click to vote
DLOG
2003
15 years 5 months ago
2003
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...
147
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
The sparse application of the Semantic Web Rule Language is partly caused by a lack of intuitive rule editors. This applies both from a human user’s, as well as from a software i...
124
click to vote
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...