935 search results - page 144 / 187 » On Graph Based Interaction for Semantic Query Languages |
127
click to vote
IJCAI
2007
15 years 4 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
145
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
114
Voted
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
166
click to vote
LWA
2004
15 years 4 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
92
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...