Sciweavers

322 search results - page 22 / 65
» Ontology and Formal Semantics - Integration Overdue
Sort
View
KCAP
2005
ACM
14 years 2 months ago
Collaborative knowledge capture in ontologies
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
Patrick J. Hayes, Thomas C. Eskridge, Raul Saavedr...
ISEMANTICS
2010
13 years 10 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...
KCAP
2011
ACM
12 years 12 months ago
Eliciting hierarchical structures from enumerative structures for ontology learning
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...
Mouna Kamel, Bernard Rothenburger
EKAW
2004
Springer
14 years 2 months ago
Managing Patient Record Instances Using DL-Enabled Formal Concept Analysis
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
Bo Hu, Srinandan Dasmahapatra, David Dupplaw, Paul...
GEOS
2009
Springer
14 years 1 months ago
A Functional Ontology of Observation and Measurement
An ontology of observation and measurement is proposed, which models the relevant information processes independently of sensor technology. It is kept at a sufficiently general lev...
Werner Kuhn