138 search results - page 28 / 28 » Modelling Object Typicality in Description Logics |
COOPIS
2002
IEEE
13 years 10 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...
ISSTA
2009
ACM
13 years 12 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
GEOINFORMATICA
1998
13 years 5 months ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...