1933 search results - page 14 / 387 » A Dynamic Theory of Ontology |
IJCAI
2003
13 years 9 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...
BMCBI
2007
13 years 7 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...
ITS
2004
Springer
14 years 27 days 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...
JAIR
2012
11 years 10 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 ...
COOPIS
2002
IEEE
14 years 15 days 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...