1933 search results - page 14 / 387 » A Dynamic Theory of Ontology |
IJCAI
2003
15 years 1 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
121
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Biomedical ontologies are being widely used to annotate biological data in a computer-accessible, consistent and well-defined manner. However, due to their size and co...
56
Voted
ITS
2004
Springer
15 years 5 months ago
2004
Springer
This paper introduces the rationale for concrete situations in the authoring process that can exploit a theory-aware Authoring Environment. It illustrates how Ontological Engineeri...
132
click to vote
JAIR
2012
13 years 2 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
112
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...