Sciweavers

3081 search results - page 282 / 617
» A Formal Ontology of Properties
Sort
View
KI
2008
Springer
15 years 6 months ago
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models
This paper explores the applicability of two formal models of spatial relations, Double Cross and RfDL3-12, to interpret some typical expressions that people use for describing a r...
Yohei Kurata, Hui Shi
IGPL
2007
125views more  IGPL 2007»
15 years 6 months ago
Morph Moulder: Teaching Software for HPSG and Description Logics
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
Ekaterina Ovchinnikova, Frank Richter
173
Voted
SIGCSE
2008
ACM
162views Education» more  SIGCSE 2008»
15 years 6 months ago
Automatic extraction of notions from course material
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Luk...
GI
2010
Springer
15 years 5 months ago
Towards Ontology-based QoS Aggregation for Composite Web Services
: Determining the QoS (quality of service) of composite Web services is of crucial importance for both service providers and consumers. However, service descriptions of constituent...
Paul Karaenke, Jörg Leukel
SEMWEB
2010
Springer
15 years 1 months ago
The Semantic Web needs more cognition
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
Martin Raubal, Benjamin Adams