2705 search results - page 50 / 541 » Formal Ontology for Subject |
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
OTM
2004
Springer
14 years 1 months ago
2004
Springer
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...
ER
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...