Sciweavers

1042 search results - page 174 / 209
» Ontology: The Discipline and the Tool
Sort
View
ISEMANTICS
2010
15 years 3 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
FOIS
2001
15 years 3 months ago
Type-syntax and token-syntax in diagrammatic systems
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
John Howse, Fernando Molina, John Taylor, Sun-Joo ...
CII
2008
100views more  CII 2008»
15 years 2 months ago
Knowledge formalization in experience feedback processes: An ontology-based approach
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
Bernard Kamsu Foguem, Thierry Coudert, C. Bé...
ISI
2006
Springer
15 years 1 months ago
Semantic Analytics Visualization
In this paper we present a new tool for semantic analytics through 3D visualization called "Semantic Analytics Visualization" (SAV). It has the capability for visualizing...
Leonidas Deligiannidis, Amit P. Sheth, Boanerges A...
KI
2008
Springer
15 years 1 months ago
Collectives and How They Move: A Tale of Two Classifications
Abstract. Collective phenomena and their associated movement patterns are ubiquitous in everyday life. However, even though we need to be able to reason about these phenomena, espe...
Zena Wood, Antony Galton