3081 search results - page 15 / 617 » A Formal Ontology of Properties |
AAI
2010
14 years 12 months ago
2010
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
123
click to vote
CLA
2004
15 years 1 months ago
2004
Ontologies, often defined as an explicit specification of conceptualization, are necessary for knowledge representation and knowledge exchange. Usually this means that ontology des...
SEKE
2005
Springer
15 years 5 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
AMR
2007
Springer
15 years 6 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...