Sciweavers

445 search results - page 51 / 89
» Exploring the Relationship between Semantic Spaces and Seman...
Sort
View
SIGMOD
2008
ACM
214views Database» more  SIGMOD 2008»
16 years 6 months ago
A graph method for keyword-based selection of the top-K databases
While database management systems offer a comprehensive solution to data storage, they require deep knowledge of the schema, as well as the data manipulation language, in order to...
Quang Hieu Vu, Beng Chin Ooi, Dimitris Papadias, A...
KR
1998
Springer
15 years 10 months ago
Using an Expressive Description Logic: FaCT or Fiction?
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
Ian Horrocks
LICS
2005
IEEE
15 years 11 months ago
Proof Theory for Kleene Algebra
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
Chris Hardin
LREC
2008
124views Education» more  LREC 2008»
15 years 7 months ago
Clustering Related Terms with Definitions
It is a challenging task to match similar or related terms/expressions in NLP and Text Mining applications. Two typical areas in need for such work are terminology and ontology co...
Scott Songlin Piao, John McNaught, Sophia Ananiado...
ECSQARU
2007
Springer
16 years 8 days ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig