16 search results - page 4 / 4 » The first-order theory of subtyping constraints |
COOPIS
2002
IEEE
13 years 9 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...