99 search results - page 12 / 20 » On the interpretation of binary associations in the Unified ... |
DLOG
2010
13 years 5 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
IEAAIE
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
BSL
2007
13 years 7 months ago
2007
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
DKE
2011
13 years 2 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...