Mini-ME: The mini matchmaking engine

CEUR Workshop Proceedings

Volumn 858, Issue , 2012, Pages

  Ruta, M ^a   Scioscia, F ^a   Di Sciascio, E ^a   Gramegna, F ^a   Loseto, G ^a  

^a POLITECNICO DI BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; BLENDING; FORMAL LOGIC;

EXPERIMENTAL PERFORMANCE EVALUATIONS; FUNCTIONAL FEATURES; INTERNET OF THINGS (IOT); KNOWLEDGE BASIS; PERFORMANCE ISSUES; RESOURCE DISCOVERY; SATISFIABILITY; SEMANTIC WEB TECHNOLOGY;

UBIQUITOUS COMPUTING;

EID: 84883192020     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Int. Joint Conf. on Artificial Intelligence. Vol. 19, p. 364. Lawrence Erlbaum Associates LTD (2005)
2. Baader, F., Calvanese, D., Mc Guinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press (2002)
3. Baader, F., Hollunder, B., Nebel, B., Profitlich, H., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence 4(2), 109-132 (1994)
4. Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - a polynomial-time reasoner for life science ontologies. Automated Reasoning pp. 287-291 (2006)
5. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic Web. Scientific American 284(5), 28-37 (2001)
6. Colucci, S., Di Noia, T., Pinto, A., Ragone, A., Ruta, M., Tinelli, E.: A Non-Monotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces. Int. Jour. of Electronic Commerce 12(2), 127-154 (2007)
7. Di Noia, T., Di Sciascio, E., Donini, F.: Semantic matchmaking as non-monotonic reasoning: A description logic approach. Jour. of Artificial Intelligence Research (JAIR) 29, 269-307 (2007)
8. Haarslev, V., Müller, R.: Racer system description. Automated Reasoning pp. 701-705 (2001)
9. Horridge, M., Bechhofer, S.: The OWL API: a Java API for working with OWL 2 ontologies. Proc. of OWL Experiences and Directions 2009 (2009)
10. Horrocks, I., Patel-Schneider, P.: Optimizing description logic subsumption. Jour. of Logic and Computation 9(3), 267-293 (1999)
11. ITU: Internet Reports 2005: The Internet of Things (November 2005)
12. Kim, T., Park, I., Hyun, S., Lee, D.: MiRE4OWL: Mobile Rule Engine for OWL. In: Computer Software and Applications Conf. Workshops (COMPSACW), 2010 IEEE 34th Annual. pp. 317-322. IEEE (2010)
13. Kleemann, T., Sinner, A.: User Profiles and Matchmaking on Mobile Phones. In: Bartenstein, O. (ed.) Proc. of 16th Int. Conf. on Applications of Declarative Programming and Knowledge Management INAP2005, Fukuoka (2005)
14. Koch, F.: 3APL-M platform for deliberative agents in mobile devices. In: Proc. of the fourth international joint conference on Autonomous agents and multiagent systems. p. 154. ACM (2005)
15. Lawley, M., Bousquet, C.: Fast classification in Protégé: Snorocket as an OWL 2 EL reasoner. In: Proc. 6th Australasian Ontology Workshop (IAOA10). Conf.s in Research and Practice in Information Technology. Vol. 122, pp. 45-49 (2010)
16. Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. Int. Jour. of Electronic Commerce 8(4), 39-60 (2004)
17. Moguillansky, M., Wassermann, R., Falappa, M.: An argumentation machinery to reason over inconsistent ontologies. Advances in Artificial Intelligence-IBERAMIA 2010 pp. 100-109 (2010)
18. Motik, B., Horrocks, I., Kim, S.: Delta-Reasoner: a Semantic Web Reasoner for an Intelligent Mobile Platform. In: Twentyfirst Int. World Wide Web Conf. (WWW 2012). ACM (2012), to appear
19. Ruta, M., Di Sciascio, E., Scioscia, F.: Concept abduction and contraction in semantic-based P2P environments. Web Intelligence and Agent Systems 9(3), 179-207 (2011)
20. Ruta, M., Scioscia, F., Di Noia, T., Di Sciascio, E.: Reasoning in Pervasive Environments: an Implementation of Concept Abduction with Mobile OODBMS. In: 2009 IEEE/WIC/ACM Int. Conf. on Web Intelligence. pp. 145-148. IEEE (2009)
21. Ruta, M., Scioscia, F., Di Sciascio, E.: Mobile Semantic-based Matchmaking: a fuzzy DL approach. In: The Semantic Web: Research and Applications. Proceedings of 7th Extended Semantic Web Conference (ESWC 2010). Lecture Notes in Computer Science, Vol. 6088, pp. 16-30. Springer (2010)
22. Ruta, M., Di Noia, T., Di Sciascio, E., Piscitelli, G., Scioscia, F.: A semantic-based mobile registry for dynamic RFID-based logistics support. In: ICEC '08: Proc. of the 10th Int. Conf. on Electronic commerce. pp. 1-9. ACM, New York, USA (2008)
23. Shearer, R., Motik, B., Horrocks, I.: Hermit: A highly-efficient owl reasoner. In: Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008). pp. 26-27 (2008)
24. Sinner, A., Kleemann, T.: KRHyper - In Your Pocket. In: Proc. of 20th Int. Conf. on Automated Deduction (CADE-20). pp. 452-457. Tallinn, Estonia (July 2005)
25. Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics: science, services and agents on the World Wide Web 5(2), 51-53 (2007)
26. Steller, L., Krishnaswamy, S.: Pervasive Service Discovery: mTableaux Mobile Reasoning. In: Int. Conf. on Semantic Systems (I-Semantics). Graz, Austria (2008)
27. Tai, W., Keeney, J., O'Sullivan, D.: COROR: a composable rule-entailment owl reasoner for resource-constrained devices. Rule-Based Reasoning, Programming, and Applications pp. 212-226 (2011)
28. Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. Automated Reasoning pp. 292-297 (2006)