Abstract
A major challenge in putting the CHIL vision into practice was to integrate contributions from project partners all over Europe and the United States. While standard Web technologies such as HTTP support core data exchange, perceptual component integration places higher demands on distributed intercommunication. Interfaces have to be defined for the type-safe exchange of structured data between components that are implemented in diverse computer languages.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Baader, D. Calvanese, D. McGuiness, D. Nardi, and P. Patel-Schneider, editors.The Description Logic Handbook. Cambridge University Press, Cambridge, UK, 2003.
S. Bechhofer. The DIG description logic interface: DIG/1.0. Technical report, University of Manchester, 2002.
P. V. Biron and A. Malhotra. XML Schema Part 2: Datatypes Second Edition. Technical report, World Wide Web Consortium (W3C), Oct. 2004. http://www.w3.org/TR/xmlschema-2/.
D. Brickley and R. Guha. RDF Vocabulary Description Language 1.0: RDF Schema. Technical report, World Wide Web Consortium (W3C), Feb. 2004. http://www.w3.org/TR/rdf-schema/.
A. Hejlsberg, S. Wiltamuth, and P. Golde. C# language specification. Technical report, ECMA International, Jun. 2006. http://www.ecma-international.org/publications/standards/Ecma-334.htm.
C. A. R. Hoare. An axiomatic basis for computer programming.Communications of the ACM (CACM), 12(10):576–580, 1969.
I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability.Journal of Web Semantics, 1(4):345–357, 2004.
I. Horrocks, F. van Harmelen, and P. Patel-Schneider. DAML+OIL. Technical report, DARPA's Information Exploitation Office and European Union's Information Society Technologies, Mar. 2001. http://www.daml.org/2001/03/daml+oil-index.html.
HP Labs. Jena Semantic Web Framework, 2004. http://www.hpl.hp.com/semweb/jena.htm.
F. Manola and E. Miller. RDF Primer. Technical report, World Wide Web Consortium (W3C), Feb. 2004. http://www.w3.org/TR/rdf-primer/.
D. L. McGuinness and F. van Harmelen. OWLWeb Ontology Language Overview. Technical report,WorldWideWeb Consortium (W3C), Feb. 2004. http://www.w3.org/TR/owl-features/.
M. Minsky.Mind Design, chapter A framework for representing knowledge. MIT Press, Cambridge, MA, 1981. A longer version appeared in The Psychology of Computer Vision (1975).
R. Möller and V. Haarslev. RACER: Renamed ABox and Concept Expression Reasoner, 2004. Technische Universität Hamburg-Haburg.
B. Motik. KAON2, 2006. http://kaon2.semanticweb.org.
Open RDF. Sesame RDF Database, 2006. http://www.openrdf.org.
A. Paar. Zhi# – programming language inherent support for ontologies. In J.-M. Favre, D. Gasevic, R. Lämmel, and A.Winter, editors,ateM '07: Proceedings of the 4th International Workshop on Software Language Engineering, pages 165–181, Mainz, Germany, Oct. 2007.
A. Paar, J. Reuter, J. Soldatos, K. Stamatis, and L. Polymenakos. A formally specified ontology management API as a registry for ubiquitous computing systems.The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies (Applied Intelligence), 2007.
A. Paar andW. F. Tichy. Zhi#: Programming language inherent support for XML Schema Definition. InW.-T. Tsai and M. Hamza, editors,SEA '05: Proceedings of the 9th IASTED International Conference on Software Engineering and Applications, pages 407–414, Anaheim, CA, Nov. 2005.
Pellet, 2006. http://pellet.owldl.com.
M. R. Quillian. Word concepts: A theory and simulation of some basic capabilities.Behavioral Science, 12:410–430, 1967.
J. Reuter. Ontological processing of sound resources. InProceedings of the 4th International Linux Audio Conference (LAC2006), pages 97–104. Zentrum für Kunst und Medientechnologie (ZKM), Apr 2006.
V. Roubtsov. Emma: A free Java code coverage tool, 2007. http://emma.sourceforge.net.
Stanford University School of Medicine. Protègè knowledge acquisition system, 2006. http://protege.stanford.edu.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this chapter
Cite this chapter
Paar, A., Reuter, J. (2009). Ontological Modeling and Reasoning. In: Waibel, A., Stiefelhagen, R. (eds) Computers in the Human Interaction Loop. Human–Computer Interaction Series. Springer, London. https://doi.org/10.1007/978-1-84882-054-8_27
Download citation
DOI: https://doi.org/10.1007/978-1-84882-054-8_27
Publisher Name: Springer, London
Print ISBN: 978-1-84882-053-1
Online ISBN: 978-1-84882-054-8
eBook Packages: Computer ScienceComputer Science (R0)