doi:10.1017/S0269888907001300

Baader F., Calvanese D., McGuinness D., Nardi D. and Patel-Schneider P.2003The Description Logic Handbook—Theory, Implementation and Applications. Cambridge: Cambridge University Press.

Bechhofer S., Möller R. and Crowther P.2003 The DIG description logic interface. In Calvanese D., De Giacomo G. and Franconi E. (eds.), Proceedings of the International Workshop on Description Logics (DL’03), Rome, Italy, vol. 81 of CEUR Workshop Proceedings. CEUR-WS.org, pp. 152–159.

Böhm S., Luther M., Koolwaaij J. and Wagner M.2006 ContextWatcher—connecting to places, people, and the world. In Proceedings of the Poster and Demo Track of the 5th International SemanticWeb Conference (ISWC’06), Athens, GA, USA.

de Bruin J., Polleres A., Lara R. and Fensel D.2005OWL—WSML Working Draft 05–15–2005 D20.1v0.2, DERI.

Carrol J., Dickinson I., Dollin C., Reynolds D., Seaborne A. and Wilkinson K.2004Jena: implementing the Semantic Web recommendations. In Feldman 2004, pp. 74–83.

Chen H., Finin T. and Joshi A.2005. The SOUPA ontology for pervasive computing. In Tamma V., Cranefield S., Finin T. and Willmott S. (eds.), Ontologies for Agents: Theory and Experiences, Berlin: Springer Verlag. pp. 233–258.

Duran-Limon H. A., Blair G. S., Friday A., Grace P., Samartizidis G., Sivaharan T. and Wu M.2004Context-Aware Middleware for Pervasive and Ad Hoc Environments. Technical Report, Lancaster University.

Feldman S. I., Uretsky M., Najork M. and Wills C. E. (eds.) 2004Proceedings of the 13th International Conference on the World Wide Web (WWW’04),Manhattan, NY, USA: ACM Press.

Fikes R., Hayes P. and Horrocks I.2004. OWL-QL: A language for deductive query answering on the Semantic Web, Journal of Web Semantics: Science, Services and Agents on the World Wide Web2(1), 19–29.

Floréen P., Przybilski M., Nurmi P.2005 Towards a context management framework for MobiLife. In Proceedings of the IST Mobile & Communications Summit, Dresden, Germany.

Fukazawa Y., Naganuma T., Fujii K., and Kurakake S.2006 Service navigation system enhanced by place- and task-based categorization. In Proceedings of the 4th International Conference on Mobile Systems, Applications and Services (MobiSys’06),Upsala, Sweden.

Galinski J., Kaya A. and Möller R.2005Development of a server to support the formal Semantic Web query language OWL-QL. In Horrocks 2005.

Gil Y., Motta E., Benjamins R. and Musen M. (eds.) 2005Proceedings of the 4th International Semantic Web Conference (ISWC’05), Galway, Ireland, vol. 3729 of Lecture Notes in Computer Science, Berlin: Springer Verlag.

Grau B., Parsia B. and Sirin E.2006Combining OWL ontologies using E-connections, Journal of Web Semantics: Science, Services and Agents on the World Wide Web4(1), 40–59.

Grosof B., Horrocks I., Volz R. and Decker S.2003 Description Logic programs: combining logic programs with Description Logic. In Proceedings of the 12_th International World Wide Web Conference (WWW’03), Budapest, Hungary: ACM Press.

Haarslev V. and Möller R.2003 Racer: a core inference engine for the Semantic Web Ontology Language (OWL). In Sure Y. and Corchó O. (eds.), Proceedings of the 2nd International Workshop on Evaluation of Ontology-Based Tools (EON’03), Sanibel Island, Florida, USA, vol. 87 of CEUR Workshop Proceedings, CEUR-WS.org. pp. 27–36.

Haarslev V., Möller R. and Wessel M.2005Description Logic inference technology: lessions learned in the trenches. In Horrocks 2005, pp. 160–167.

Hobbs J. and Pan F.2004An ontology of time for the Semantic Web, ACM Transactions on Asian Language Information Processing3(1), 66–85.

Horrocks I. and Patel-Schneider P.2004A proposal for an OWL rules language. In Feldman 2004, pp. 723–731.

Horrocks I., Sattler U. & Wolter F. (eds.). 2005International Workshop on Description Logics (DL’05), Edinburgh, Scotland, UK, vol. 147 of CEUR Workshop Proceedings, CEUR-WS.org.

Kernchen R., Bonnefoy D., Battestini A., Mrohs B., Wagner M. and Klemettinen M. (2006) Context-awareness in MobiLife. In Proceedings of the 15th IST Mobile & Wireless Communication Summit. Mykonos, Greece.

Khushraj D. and Lassila O.2004 CALI: context awareness via logical inference. In Proceedings of the ISWC’04 Workshop on Semantic Web Technology for Mobile and Ubiquitous Applications (SWMU’04), Hiroshima, Japan.

Klemettinen M. (ed.). 2007Enabling Technologies for Mobile Services: The MobiLife Book. England: John Wiley & Sons Ltd.

Lee J., Park I., Lee D. and Hyun S. (2005) Application-oriented context pre-fetch method for improving inference performance in ontology-based context management. In Lee J. (ed.) Proceedings of the 1st International Workshop on Contexts and Ontologies: Theory, Practice and Applications at AAAI’05,Pittsburgh, Pennsylvania, USA. pp. 41–48.

Liebig T., Luther M., Noppens O., Paolucci M., Wagner M. and von Henke F.2005 Building applications and tools for OWL. In Grau B. C., Horrocks I., Parsia B. and Patel-Schneider P. (eds.), Proceedings of the 1st OWL Experiences and Directions Workshop (OWLED’05), Galway, Ireland, vol. 188 of CEUR Workshop Proceedings,CEUR-WS.org. pp. 190–201.

Luther M., Böhm S., Wagner M. and Koolwaaij J. (2005a) Enhanced presence tracking for mobile applications. In Gil 2005, pp. 105–108.

Luther M., Mrohs B., Wagner M., Steglich S. and Kellerer W. (2005b) Situational reasoning—a practical OWL use case. In Proceedings of the 7th International Symposium on Autonomous Decentralized Systems (ISADS’05), Chengdu, China. pp. 96–103.

Martin D., Burstein M., Hobbs J. J.2004 OWL-S: Semantic Markup for Web Services. W3C Member Submission, The OWL Services Coalition.

McGuinness D. and van Harmelen F.2004 OWL Web Ontology Language overview. W3C Recommendation REC-owl-features-20040210, World Wide Web Consortium.

Moran T.P. and Dourish P.2001Introduction to special issue on context-aware computing, Human-Computer Interaction (HCI)16(2–3), 87–96.

Motik B., Sattler U. and Struder R.2005Query answering for OWL-DL with rules, Journal of Web Semantics: Science, Services and Agents on the World Wide Web3(1), 41–60.

Mrohs B., Luther M., Vaidya R., Wagner M., Steglich S., Kellerer W. and Arbanowski S.2005 OWL-SF—a distributed semantic service framework. In Proceedings of the 1st Workshop on Context Awareness for Proactive Systems (CAPS’05),Helsinki, Finland: Helsinki University Press. pp. 67–78.

Naganuma T. and Kurakake S.2005 Task knowledge based retrieval for service relevant to mobile user activity. In Gil 2005, pp. 959–973.

Naganuma T., Luther M., Wagner M., Tomioka A., Fujii K., Fukazawa Y. and Kuakake S.2006 Task-oriented mobile service recommendation enhanced by a situational reasoning engine. In Mizoguchi R., Shi Z. and Giunchiglia F. (eds.), Proceedings of the 1st Asian Semantic Web Conference (ASWC’06), Beijing, China, vol. 4185 of Lecture Notes in Computer Science, Berlin: Springer Verlag. pp. 768–774.

Pan F. and Hobbs J.2004 Time in OWL-S. In Proceedings of the AAAI Spring Symposium on Semantic Web Services, California, USA: Stanford University. pp. 29–36.

Parsia B., Halaschek-Wiener C. and Sirin E.2006 Towards incremental reasoning through updates in OWL-DL. In WWW’06 Workshop on Reasoning on the Web (RoW’06), Edinburgh, UK.

Sirin E., Grau B. C. and Parsia B. (2006) From wine to water: optimizing Description Logic reasoning for nominals. In Doherty P., Mylopoulos J. and Welty C. A. (eds.), Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR’06), Lake District, UK: AAAI Press. pp. 90–99.

Sirin E., Parsia B., Grau B. C. andKalyanpur A.2007Pellet: a practical OWL-DL reasoner, Journal of Web Semantics, 5(1), pp. 51–53.

Tsarkov D. and Horrocks I.2005 Ordering heuristics for Description Logic reasoning. In Kaelbling L.P. and Saffiotti A. (eds.), Proceedings of the 19th International Conference on Artificial Intelligence (IJCAI’05),Edinburgh, Scotland, UK: Professional Book Center. pp. 609–614.

Turhan A.-Y., Bechhofer S., Kaplunova A., Liebig T., Luther M., Möller R., Noppens O., Patel-Schneider P., Suntisrivaraporn B., Weithner T.2006 DIG2.0—towards a flexible interface for Description Logic reasoners. In Grau B. C., Horrocks I., Parsia B. and Patel-Schneider P. (eds.), Proceedings of the OWL Experiences and Directions Workshop (OWLED’06) at the ISWC’06, Athens, Georgia, USA, vol. 216 of CEUR Workshop Proceedings, CEUR-WS.org.

Wang X., Zhang Q., Gu T. and Pung H. K.2004 Ontology-based context modeling and reasoning using OWL. In Proceedings of the PerCom Workshop on Context Modeling and Reasoning (CoMoRea’04), Orlando, FL, USA. pp. 18–22.

Weithöner T., Liebig T., Luther M., and Böhm S.2006 What's wrong with OWL benchmarks? In Wache H., Stuckenschmidt H., Parsia B., Guo Y., Finin T. and Beckett D. (eds.), Proceedings of the 2nd International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS’06), Athens, GA, USA. pp. 101–114.

Yau S. S., Karim F., Wang Y., Wang B., and Gupta S. K., 2002Reconfigurable context-sensitive middleware for pervasive computing, Pervasive Computing1(3), 33–40.