Towards mobile reasoning

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 231-238

  Kleemann, Thomas ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CURRENT LIMITATION; DESCRIPTION LOGIC; MOBILE INDUSTRY; REASONER;

FORMAL LANGUAGES; MOBILE DEVICES;

DATA DESCRIPTION;

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

References (15)

1. Peter Baumgartner. Hyper Tableaux-The Next Generation. Technical Report 32-97, Universität Koblenz- Landau, 1997.
2. Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann. Model based deduction for database schema reasoning. In Susanne Biundo, Thom Frühwirth, and Günther Palm, editors, KI 2004: Advances in Artificial Intelligence, volume 3238, pages 168-182. Springer Verlag, 2004.
3. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logic. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 48-57. ACM, 2003.
4. Volker Haarslev and Ralf Möller. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In KR2000: Principles of Knowledge Representation and Reasoning, pages 273-284. Morgan Kaufmann, 2000.
5. I. Horrocks and P. F. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, 1999.
6. Thomas Kleemann and Alex Sinner. Description logic based matchmaking on mobile devices. In Joachim Baumeister and Dietmar Seipel, editors, Proc. of 1st Workshop on Knowledge Engineering and Software Engineering - KESE2005, Koblenz, ISSN 1860-4471, pages 37-48, 2005.
7. Thomas Kleemann and Alex Sinner. Krhyper - in your pocket, system description. In Robert Nieuwenhuis, editor, Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, volume 3632 of Lecture Notes in Computer Science, pages 452-458. Springer Verlag, 2005.
8. Thomas Kleemann and Alex Sinner. User profiles and matchmaking on mobile phones. In Oscar Bartenstein, editor, Proc. of 16th International Conference on Applications of Declarative Programming and Knowledge Management INAP2005, Fukuoka, 2005.
9. Lei Li and Ian Horrocks. A software framework for matchmaking based on semantic web technology. In Proc. of the Twelfth International World Wide Web Conference (WWW'2003), pages 331-339. ACM, 2003.
10. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, and Marina Mongiello. Abductive matchmaking using description logics. In Proc. of IJCAI'03, pages 337-342, 2003.
11. Peter F. Patel-Schneider and B. Swartout. Description-logic knowledge representation system specification, November 1993.
12. A. Sinner and T. Kleemann. Krhyper - in your pocket, system description. In Proc. of Conference on Automated Deduction, CADE-20. Springer Verlag, 2005.
13. G. Sutcliffe and C.B. Suttner. The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning, 21(2):177-203, 1998.
14. Dmitry Tsarkov and Ian Horrocks. DL reasoner vs. first-order prover. In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 152-159, 2003.
15. Wolfgang Wahlster. Smartweb: Mobile applications of the semantic web. In GI Jahrestagung (1), pages 26-27, 2004.