Sciweavers

591 search results - page 25 / 119
» Formal Semantics and Ontologies - Towards an Ontological Acc...
Sort
View
AO
2007
144views more  AO 2007»
13 years 9 months ago
Social acquisition of ontologies from communication processes
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
Matthias Nickles
WWW
2004
ACM
14 years 9 months ago
A combined approach to checking web ontologies
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-...
OTM
2004
Springer
14 years 2 months ago
Literate Ontology Development
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...
Achim Mahnke, Bernd Krieg-Brückner
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...