1176 search results - page 196 / 236 » Description Logics as Ontology Languages for the Semantic We... |
SAMT
2007
Springer
14 years 2 months ago
2007
Springer
— Annotation of multimedia content with metadata is regarded as a key issue for efficiently handling such content. MPEG-7 is a major standard that has been developed for this rea...
ITCC
2003
IEEE
14 years 1 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
ENTCS
2006
13 years 8 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...