2302 search results - page 460 / 461 » Basic Description Logics |
125
Voted
WS
2010
ACM
15 years 28 days ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
148
Voted
DLOG
2010
15 years 18 days ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
129
Voted
WEBI
2010
Springer
15 years 13 days ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
124
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
154
Voted
ICDT
2012
ACM
13 years 5 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...