139 search results - page 6 / 28 » On the Properties of Metamodeling in OWL |
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
IGPL
2010
14 years 9 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
WS
2010
ACM
14 years 10 months ago
2010
ACM
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner. This combination is...
104
click to vote
OTM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
115
click to vote
ICSOC
2005
Springer
15 years 5 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...