Sciweavers

2705 search results - page 38 / 541
» Formal Ontology for Subject
Sort
View
JODL
2008
74views more  JODL 2008»
13 years 7 months ago
Towards a digital library theory: a formal digital library ontology
Marcos André Gonçalves, Edward A. Fo...
WWW
2005
ACM
14 years 8 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
KCAP
2009
ACM
14 years 2 months ago
Overview of a semantic disambiguation method for unstructured web contexts
In this paper we give an overview of a multiontology disambiguation method, targeted to discover the intended meaning of words in unstructured web contexts. It receives an ambiguo...
Jorge Gracia, Eduardo Mena
JUCS
2008
137views more  JUCS 2008»
13 years 7 months ago
The Need for Formalizing Media Semantics in the Games and Entertainment Industry
Abstract: The digital media and games industry is one of the biggest IT based industries worldwide. Recent observations therein showed that current production workflows may be pote...
Tobias Bürger