3719 search results - page 657 / 744 » RACER System Description |
165
click to vote
DLOG
2010
15 years 3 months ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
168
click to vote
DLOG
2010
15 years 3 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
148
click to vote
ER
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...
120
click to vote
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
Companies, governmental agencies and scientists produce a large amount of quantitative (research) data, consisting of measurements ranging from e.g. the surface temperatures of an ...
153
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...