Sciweavers

16 search results - page 1 / 4
» Reasoning in Resource-Constrained Environments: a Matchmakin...
Sort
View
DLOG
2011
12 years 8 months ago
Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases
We present a framework for logic-based matchmaking on ALN ABoxes stored in a relational database. The proposed approach allows both non-standard reasoning and subsumption check be ...
Eufemia Tinelli, Francesco M. Donini, Michele Ruta...
JAIR
2007
146views more  JAIR 2007»
13 years 4 months ago
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
ILP
2007
Springer
13 years 11 months ago
Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases
Several activities related to semantically annotated resources can be enabled by a notion of similarity, spanning from clustering to retrieval, matchmaking and other forms of induc...
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito
CADE
2008
Springer
14 years 5 months ago
Integration of the TPTPWorld into SigmaKEE
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
Steven Trac, Geoff Sutcliffe, Adam Pease
JUCS
2010
165views more  JUCS 2010»
13 years 3 months ago
Collective Knowledge Engineering with Semantic Wikis
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...
Grzegorz J. Nalepa