Sciweavers

713 search results - page 17 / 143
» Syntax and Semantics of Babel-17
Sort
View
SEMWEB
2007
Springer
14 years 2 months ago
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
Christine Golbreich, Matthew Horridge, Ian Horrock...
IV
2005
IEEE
86views Visualization» more  IV 2005»
14 years 2 months ago
Visualizing Time Dependent Semantics: An Application to Quantum Algorithms
We have developed a visual syntax for representing concepts that are contingent on temporal properties (timedependent semantics). A within-group (N=24) experiment was conducted to...
Nivedita R. Kadaba, Pourang Irani, Michel Toulouse
LICS
1994
IEEE
14 years 17 days ago
A Fully Abstract Semantics for Concurrent Graph Reduction
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
Alan Jeffrey
OWLED
2007
13 years 10 months ago
Extending Fuzzy Description Logics for the Semantic Web
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
Giorgos Stoilos, Giorgos B. Stamou
ACL
2011
13 years 2 days ago
Learning Dependency-Based Compositional Semantics
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...
Percy Liang, Michael I. Jordan, Dan Klein