Sciweavers

875 search results - page 54 / 175
» Syndication on the Web using a description logic approach
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 1 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
CN
1999
104views more  CN 1999»
15 years 1 months ago
User Adaptable Multimedia Presentations for the World Wide Web
We propose a generic solution for user adaptation of synchronized multimedia presentations. We consider adaptation as a transformation problem: the user specifies a predicate that...
Franck Rousseau, J. Antonio García-Mac&iacu...
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 1 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
ESWS
2005
Springer
15 years 7 months ago
Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
LOPSTR
2004
Springer
15 years 7 months ago
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Ser...