Sciweavers

1082 search results - page 115 / 217
» Ontological Semantics for the Use of UML in Conceptual Model...
Sort
View
AAAI
2000
13 years 9 months ago
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Researchers in the ontology-design field have developed the content for ontologies in many domain areas. Recently, ontologies have become increasingly common on the WorldWide Web ...
Natalya Fridman Noy, Mark A. Musen
ESWS
2006
Springer
13 years 11 months ago
The Web Service Modeling Language WSML: An Overview
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
Jos de Bruijn, Holger Lausen, Axel Polleres, Diete...
FUIN
2010
114views more  FUIN 2010»
13 years 5 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
ITS
2004
Springer
95views Multimedia» more  ITS 2004»
14 years 1 months ago
The Role of Domain Ontology in Knowledge Acquisition for ITSs
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
Pramuditha Suraweera, Antonija Mitrovic, Brent Mar...
ACSC
2006
IEEE
14 years 2 months ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik