Sciweavers

1184 search results - page 166 / 237
» Description Logics for the Semantic Web
Sort
View
MM
2004
ACM
109views Multimedia» more  MM 2004»
14 years 2 months ago
Reading movies: an integrated DVD player for browsing movies and their scripts
We have built over the last few years an integrated browser and query interface for watching a movie synchronized with its script. The system is demonstrated with the movie ’The...
Rémi Ronfard
ESWS
2008
Springer
13 years 11 months ago
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
Dumitru Roman, Michael Kifer, Dieter Fensel
POPL
2012
ACM
12 years 4 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
FLAIRS
2008
13 years 11 months ago
Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
Neli P. Zlatareva, Maria Nisheva
SEMWEB
2001
Springer
14 years 1 months ago
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
Drew V. McDermott, Mark H. Burstein, Douglas R. Sm...