4008 search results - page 165 / 802 » An expressive language of signatures |
166
click to vote
UML
1998
Springer
15 years 10 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
187
click to vote
DILS
2006
Springer
15 years 10 months ago
2006
Springer
The Open Biomedical Ontologies (OBO) is a consortium that serves as a repository of ontologies that are structured like directed acyclic graphs. In this paper we present a language...
170
click to vote
DLOG
2007
15 years 8 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
156
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a mor...
164
click to vote
DATESO
2008
15 years 7 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...