4617 search results - page 326 / 924 » Automation of Diagrammatic Reasoning |
148
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
181
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Despite the success of modern Web search engines, challenges remain when it comes to providing people with access to the right information at the right time. In this paper, we desc...
172
click to vote
DLOG
2004
15 years 8 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
158
click to vote
DLOG
2001
15 years 8 months ago
2001
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
172
click to vote
DLOG
2003
15 years 8 months ago
2003
This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are difficult to optimize be...