Klaus Lüttich

According to our database, Klaus Lüttich authored at least 9 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Development of structured ontologies in CASL.

Klaus Lüttich

PhD thesis, 2007

Ontological Modularity and Spatial Diversity.

John A. Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski

Spatial Cogn. Comput., 2007

The Heterogeneous Tool Set (Hets).

Till Mossakowski, Christian Maeder, Klaus Lüttich

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006

An Analysis of the Navigation Metaphor - And Why It Works for the World Wide Web.

Hartwig H. Hochmair, Klaus Lüttich

Spatial Cogn. Comput., 2006

Reasoning Support for Caslwith Automated Theorem Proving Systems.

Klaus Lüttich, Till Mossakowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Development of Modular Ontologies in CASL.

Klaus Lüttich, Claudio Masolo, Stefano Borgo

Proceedings of the 1st International Workshop on Modular Ontologies, 2006

Approximation of Ontologies in CASL.

Klaus Lüttich

Proceedings of the Formal Ontology in Information Systems, 2006

2004

Ontologies for the Semantic Web in Casl.

Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Specification of an Ontology for Route Graphs.

Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross

Proceedings of the Spatial Cognition IV: Reasoning, 2004