Marko Luther - Academia.edu (original) (raw)
Papers by Marko Luther
Lecture Notes in Computer Science, 2001
Wiley Series in Communications Networking & Distributed Systems, 2000
Wiley Series in Communications Networking & Distributed Systems, 2008
T contributes to the construction of a convenient specification language on top of a ty... more T contributes to the construction of a convenient specification language on top of a type theoretic substrate. The subject arose in the context of the T project that aimed at improving the machine assistance for the formal development of mathematics, software and hardware. Type theory was chosen as underlying theoretical framework, because it homogeneously comprises both the notion of computation and deduction. However, the price for its expressiveness is a verbose syntax. When I joined the T group, my responsibility was to shape the external language of the T system. Naturally, I first looked at related implementations. Most of them cope with the wordiness of type theory by allowing their users to omit on input redundant parts that can be inferred automatically through a process called elaboration. While the use of such a mechanism seems indispensable for serious verification tasks, I found the existing solutions unsatisfactory. Not only are the implemented algorithms seldom precisely documented and formally analyzed, they also lack strength. It is disappointing how much redundant information still has to be supplied on input. Furthermore, the ad hoc erasure algorithms, used to reduce the redundancy of expressions on output, often produce wordy or even ambiguous external representations. Such failures are especially fatal for interactive verification systems, where the output describing the actual system state is often the only hint for a user on how to proceed with a proof. To improve this situation, I developed the elaboration and erasure methods described in this thesis.
Wiley Series in Communications Networking & Distributed Systems, 2008
Difficulties in using and accessing new services have been the most frequently mentioned reasons ... more Difficulties in using and accessing new services have been the most frequently mentioned reasons for slow service acceptance in the past. For future mobile services to succeed, it is therefore critical that us- ers are able to get intuitive and convenient access to the services they personally need in a given situation or context. We introduce the concept of Mobile Personality that allows the mobile user to develop her own online personality in terms of personal preference, usage and service profiles over time, as well as the offered services to acquire a unique proactive behavior. This vision of adaptive personalized services is essentially based on advanced profiling and personalization concept, context-aware computing as well as flexible and evolvable service support middleware. Through a practical usage scenario and a detailed explanation as well as an interrelation of the essential enablers, this paper gives an insight into the fore- seen transition from Personal Mobility to Mobile Personality.
. Even if a problem solving method and a domain ontology has been identified, there still remains... more . Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding su#cient and consistent domain knowledge to a knowledge processing system. Our kbVision system supports this knowledge acquisition process by making use of a 3D graphical user interface in which domain objects can be easily created and composed to a domain model. Using object sensitive manipulation options and by evaluating each graphical action in the underlying knowledge representation formalism, the system ensures a consistent domain model. It can also be used as a knowledge-based graphical simulation environment for various reasoning components (e.g. planners, path generators). 1 Introduction Representation of knowledge is a premise for intelligent behavior in every domain. Even the Turing Test implicitly presumed the ability to represent knowledge about the content of an interrogation. Smith [13] and Newell [10] conclude some years later, that any in...
To leverage proactive context-aware services for mobile handsets, an architecture for the managem... more To leverage proactive context-aware services for mobile handsets, an architecture for the management, aggregation and distribution of information is required. This work presents a framework that has been developed to realize an extensible infrastructure in which personal information can be shared with others while on the go. Access control mechanisms restrict the distribution of data based on social relationships and the validity of context conditions.
Owled, 2007
The DIG protocol [1] -the de-facto standard for the communication between DL reasoners and their ... more The DIG protocol [1] -the de-facto standard for the communication between DL reasoners and their clients -is currently being updated to a new version. DIG 2.0 [2] will reflect the upcoming OWL 1.1 and add previously missing functionality such as axiom retraction and told axiom access. In addition the new standard is extensible, which allows to add new requests and responses to the protocol. As a consequence, installations might get more complex and might even face the challenge of integrating systems implementing different DIG versions. Fig. 1. DIG 2.0 Reference Middleware Example Configuration
... 2 Rooms Office room MeetingDining room Devices (SDO) Door panel for the meeting room ... more ... 2 Rooms Office room MeetingDining room Devices (SDO) Door panel for the meeting room JukeBox Light Page 5. ... the general context entities (person, profile, locations, ) SDO properties, services and semantics, and the world model of the persons ...
We study the case of integrating situational reasoning into a mobile service recommendation syste... more We study the case of integrating situational reasoning into a mobile service recommendation system. Since mobile Internet services are rapidly proliferating, finding and using appropriate services requires profound service descriptions. As a consequence, for average mobile users it is nowadays virtually impossible to find the most appropriate service among the many offered. To overcome these difficulties, task navigation systems have been proposed to guide users towards best-fitting services. Our goal is to improve the user experience of such task navigation systems by adding contextawareness (i.e., to optimize service navigation by taking the user's situation into account). In this paper we propose the integration of a situational reasoning engine that applies classification-based inference to context elements, gathered from multiple sources and represented using ontologies. The extended task navigator enables the delivery of situation-aware recommendations in a proactive way. Initial experiments with the extended system indicate a considerable improvement of the navigator's usability.
Page 1. ContextWatcher Connecting to Places, People and the World Sebastian Böhm 1 , Marko Luth... more Page 1. ContextWatcher Connecting to Places, People and the World Sebastian Böhm 1 , Marko Luther 1 , Johan Koolwaaij 2 , Matthias Wagner 1 1 Future Networking Lab DoCoMo Communications Laboratories Europe Munich, Germany <lastname>@docomolab-euro.com ...
Proceedings Autonomous Decentralized Systems, 2005. ISADS 2005., 2005
In this paper we study the case of situational reasoning on ontological descriptions in context-a... more In this paper we study the case of situational reasoning on ontological descriptions in context-aware applications. We therefore discuss the logical foundations of W3C&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#39;s standard ontology language OWL and examine how this modeling language can be used to express a user&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#39;s situation. In a practical scenario and through the use of standard semantic Web components and toolkits, we exemplify how
This paper explores the possibilities and core technologies of the ongo- ing development towards ... more This paper explores the possibilities and core technologies of the ongo- ing development towards the Semantic Web for desktop application enhancement. It demonstrates how an ontology-based software can provide refined support for personal information organization. The Web Ontology Language and reasoning mechanisms based on Description Logics (DL) are analyzed as enabler technolo- gies for semantic enrichments. We report on our prototype that realizes the en- hancement of Apple's Address Book application by DL-based smart groups.
The success of the Semantic Web will largely depend on whether W3C's Web Ontology Language can re... more The success of the Semantic Web will largely depend on whether W3C's Web Ontology Language can reach broad acceptance and a critical mass of industry-strength applications. We have been exploiting the use of OWL with a particular focus on tool support for ontology authoring and on providing access to the Semantic Web for mobile applications. In the latter case our vision is to overlay the Semantic Web on ubiquitous computing environments making it possible to represent and interlink content and services as well as users, devices, their capabilities and the functionality they offer. In this paper we present our first experiences and lessons learned from early work and try to give constructive feedback for possible enhancements of OWL and its tools.
Lecture Notes in Computer Science, 2001
Wiley Series in Communications Networking & Distributed Systems, 2000
Wiley Series in Communications Networking & Distributed Systems, 2008
T contributes to the construction of a convenient specification language on top of a ty... more T contributes to the construction of a convenient specification language on top of a type theoretic substrate. The subject arose in the context of the T project that aimed at improving the machine assistance for the formal development of mathematics, software and hardware. Type theory was chosen as underlying theoretical framework, because it homogeneously comprises both the notion of computation and deduction. However, the price for its expressiveness is a verbose syntax. When I joined the T group, my responsibility was to shape the external language of the T system. Naturally, I first looked at related implementations. Most of them cope with the wordiness of type theory by allowing their users to omit on input redundant parts that can be inferred automatically through a process called elaboration. While the use of such a mechanism seems indispensable for serious verification tasks, I found the existing solutions unsatisfactory. Not only are the implemented algorithms seldom precisely documented and formally analyzed, they also lack strength. It is disappointing how much redundant information still has to be supplied on input. Furthermore, the ad hoc erasure algorithms, used to reduce the redundancy of expressions on output, often produce wordy or even ambiguous external representations. Such failures are especially fatal for interactive verification systems, where the output describing the actual system state is often the only hint for a user on how to proceed with a proof. To improve this situation, I developed the elaboration and erasure methods described in this thesis.
Wiley Series in Communications Networking & Distributed Systems, 2008
Difficulties in using and accessing new services have been the most frequently mentioned reasons ... more Difficulties in using and accessing new services have been the most frequently mentioned reasons for slow service acceptance in the past. For future mobile services to succeed, it is therefore critical that us- ers are able to get intuitive and convenient access to the services they personally need in a given situation or context. We introduce the concept of Mobile Personality that allows the mobile user to develop her own online personality in terms of personal preference, usage and service profiles over time, as well as the offered services to acquire a unique proactive behavior. This vision of adaptive personalized services is essentially based on advanced profiling and personalization concept, context-aware computing as well as flexible and evolvable service support middleware. Through a practical usage scenario and a detailed explanation as well as an interrelation of the essential enablers, this paper gives an insight into the fore- seen transition from Personal Mobility to Mobile Personality.
. Even if a problem solving method and a domain ontology has been identified, there still remains... more . Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding su#cient and consistent domain knowledge to a knowledge processing system. Our kbVision system supports this knowledge acquisition process by making use of a 3D graphical user interface in which domain objects can be easily created and composed to a domain model. Using object sensitive manipulation options and by evaluating each graphical action in the underlying knowledge representation formalism, the system ensures a consistent domain model. It can also be used as a knowledge-based graphical simulation environment for various reasoning components (e.g. planners, path generators). 1 Introduction Representation of knowledge is a premise for intelligent behavior in every domain. Even the Turing Test implicitly presumed the ability to represent knowledge about the content of an interrogation. Smith [13] and Newell [10] conclude some years later, that any in...
To leverage proactive context-aware services for mobile handsets, an architecture for the managem... more To leverage proactive context-aware services for mobile handsets, an architecture for the management, aggregation and distribution of information is required. This work presents a framework that has been developed to realize an extensible infrastructure in which personal information can be shared with others while on the go. Access control mechanisms restrict the distribution of data based on social relationships and the validity of context conditions.
Owled, 2007
The DIG protocol [1] -the de-facto standard for the communication between DL reasoners and their ... more The DIG protocol [1] -the de-facto standard for the communication between DL reasoners and their clients -is currently being updated to a new version. DIG 2.0 [2] will reflect the upcoming OWL 1.1 and add previously missing functionality such as axiom retraction and told axiom access. In addition the new standard is extensible, which allows to add new requests and responses to the protocol. As a consequence, installations might get more complex and might even face the challenge of integrating systems implementing different DIG versions. Fig. 1. DIG 2.0 Reference Middleware Example Configuration
... 2 Rooms Office room MeetingDining room Devices (SDO) Door panel for the meeting room ... more ... 2 Rooms Office room MeetingDining room Devices (SDO) Door panel for the meeting room JukeBox Light Page 5. ... the general context entities (person, profile, locations, ) SDO properties, services and semantics, and the world model of the persons ...
We study the case of integrating situational reasoning into a mobile service recommendation syste... more We study the case of integrating situational reasoning into a mobile service recommendation system. Since mobile Internet services are rapidly proliferating, finding and using appropriate services requires profound service descriptions. As a consequence, for average mobile users it is nowadays virtually impossible to find the most appropriate service among the many offered. To overcome these difficulties, task navigation systems have been proposed to guide users towards best-fitting services. Our goal is to improve the user experience of such task navigation systems by adding contextawareness (i.e., to optimize service navigation by taking the user's situation into account). In this paper we propose the integration of a situational reasoning engine that applies classification-based inference to context elements, gathered from multiple sources and represented using ontologies. The extended task navigator enables the delivery of situation-aware recommendations in a proactive way. Initial experiments with the extended system indicate a considerable improvement of the navigator's usability.
Page 1. ContextWatcher Connecting to Places, People and the World Sebastian Böhm 1 , Marko Luth... more Page 1. ContextWatcher Connecting to Places, People and the World Sebastian Böhm 1 , Marko Luther 1 , Johan Koolwaaij 2 , Matthias Wagner 1 1 Future Networking Lab DoCoMo Communications Laboratories Europe Munich, Germany <lastname>@docomolab-euro.com ...
Proceedings Autonomous Decentralized Systems, 2005. ISADS 2005., 2005
In this paper we study the case of situational reasoning on ontological descriptions in context-a... more In this paper we study the case of situational reasoning on ontological descriptions in context-aware applications. We therefore discuss the logical foundations of W3C&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#39;s standard ontology language OWL and examine how this modeling language can be used to express a user&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#39;s situation. In a practical scenario and through the use of standard semantic Web components and toolkits, we exemplify how
This paper explores the possibilities and core technologies of the ongo- ing development towards ... more This paper explores the possibilities and core technologies of the ongo- ing development towards the Semantic Web for desktop application enhancement. It demonstrates how an ontology-based software can provide refined support for personal information organization. The Web Ontology Language and reasoning mechanisms based on Description Logics (DL) are analyzed as enabler technolo- gies for semantic enrichments. We report on our prototype that realizes the en- hancement of Apple's Address Book application by DL-based smart groups.
The success of the Semantic Web will largely depend on whether W3C's Web Ontology Language can re... more The success of the Semantic Web will largely depend on whether W3C's Web Ontology Language can reach broad acceptance and a critical mass of industry-strength applications. We have been exploiting the use of OWL with a particular focus on tool support for ontology authoring and on providing access to the Semantic Web for mobile applications. In the latter case our vision is to overlay the Semantic Web on ubiquitous computing environments making it possible to represent and interlink content and services as well as users, devices, their capabilities and the functionality they offer. In this paper we present our first experiences and lessons learned from early work and try to give constructive feedback for possible enhancements of OWL and its tools.