Sciweavers

6016 search results - page 8 / 1204
» The semantics of graphical languages
Sort
View
91
Voted
AISC
2008
Springer
14 years 11 months ago
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan
SEMWEB
2009
Springer
15 years 4 months ago
Towards a Graphical Notation for OWL 2
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...
87
Voted
ISMIS
1993
Springer
15 years 1 months ago
Compiling Proof Search in Semantic Tableaux
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
Joachim Posegga
CAISE
2006
Springer
15 years 1 months ago
VisAVis: An Approach to an Intermediate Layer between Ontologies and Relational Database Contents
This paper introduces an approach to mapping relational database contents to ontologies. The current effort is motivated by the need of including into the Semantic Web volumes of w...
Nikolaos Konstantinou, Dimitrios-Emmanuel Spanos, ...
84
Voted
DLOG
2003
14 years 11 months ago
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
Ralf Möller, Ronald Cornet, Volker Haarslev