Reasoning in pervasive computing has to face computational issues inherited by mobile platforms. This paper presents a prototypical reasoner for mobile devices, which leverages Semantic Web technologies to implement both standard (subsumption, satisfiability, classification) and non-standard (abduction, contraction) inferences for moderately expressive knowledge bases. System features are surveyed, followed by early performance analysis.
A Mobile Reasoner for Semantic-based Matchmaking / Ruta, M.; Scioscia, F.; Loseto, G.; Gramegna, F.; Di Sciascio, E.. - STAMPA. - 7497:(2012), pp. 254-257. (Intervento presentato al convegno 6th International Conference on Web Reasoning and Rule Systems, RR 2012) [10.1007/978-3-642-33203-6_27].
A Mobile Reasoner for Semantic-based Matchmaking
Ruta, M.;Scioscia, F.;Loseto, G.;Di Sciascio, E.
2012-01-01
Abstract
Reasoning in pervasive computing has to face computational issues inherited by mobile platforms. This paper presents a prototypical reasoner for mobile devices, which leverages Semantic Web technologies to implement both standard (subsumption, satisfiability, classification) and non-standard (abduction, contraction) inferences for moderately expressive knowledge bases. System features are surveyed, followed by early performance analysis.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
