450 search results - page 17 / 90 » An enriched knowledge model for formal ontological analysis |
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
SEMWEB
2005
Springer
15 years 2 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
ER
2007
Springer
15 years 3 months ago
2007
Springer
This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge mak...
ASP
2003
Springer
15 years 2 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
KR
2004
Springer
15 years 2 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...