139 search results - page 17 / 28 » On the Properties of Metamodeling in OWL |
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
A critical aspect of many simulation studies is the modeling of resources. A general typology, or multidimensional categorization, is proposed for characterizing resources. Such a...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
DLOG
2010
14 years 9 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
102
click to vote
SOSYM
2010
14 years 10 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...