Skip to main content

Marrying Ontology and Software Technology

Publications

Closed world reasoning for OWL2 with NBox

Auteurs: Jeff Z. Pan; Yuan Ren; Yuting Zhao
Publié dans: Tsinghua University Press Tsinghua Science and Technology 2010
Identifiant permanent: Digital Object Identifier:10.1016/s1007-0214(10)70117-6

Revision of the combined metamodel

Auteurs: Tobias Walter; Silva Parreiras, Fernando; Gerd Groener
Publié dans: University of Koblenz-Landau Array 2010
Identifiant permanent: Digital Object Identifier:10.5281/zenodo.12238; Digital Object Identifier:10.5281/zenodo.12238

Report on the Combined Metamodel

Auteurs: Silva Parreiras, Fernando; Tobias Walter
Publié dans: University of Koblenz-Landau Array 2008
Identifiant permanent: Digital Object Identifier:10.5281/zenodo.12235

An advanced traceability schema as a baseline to improve supporting lifecycle processes

Auteurs: Espinoza Limón, Angelina
Publié dans: Facultad de Informática (UPM) Array 2010

Verifying and validating multi-layered models with OWL FA toolkit

Auteurs: Nophadol Jekjantuk; Gerd Gröner; Jeff Z. Pan
Publié dans: Springer Berlin Heidelberg Lecture Notes in Computer Science ISBN: 9783642134883 2010
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-13489-0_30

Modelling and reasoning in metamodelling enabled ontologies

Auteurs: Nophadol Jekjantuk; Jeff Z. Pan; Gerd Gröner
Publié dans: Springer Berlin Heidelberg KSEM 2010
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-15280-1_8

Semantic business process engineering

Auteurs: Jens Lemcke; Tirdad Rahmani; Andreas Friesen
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-15543-7_6

Combining ontologies with domain specific languages: a case study from network configuration software

Auteurs: Marek Kasztelnik; Pawel Sabina; Krzysztof Miksa
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-15543-7_4

tutorial summary

Auteurs: Edward Thomas; Fernando Silva Parreiras; Christian Wende; Tobias Walter
Publié dans: ACM Press SPLASH/OOPSLA Companion 2010
Identifiant permanent: Digital Object Identifier:10.1145/1869542.1869626

Establishing a bridge from graph-based modeling languages to ontology languages ?

Auteurs: #N/D

Model driven engineering with ontology technologies

Auteurs: Fernando Silva Parreiras; Tobias Walter; Steffen Staab; Gerd Gröner
Publié dans: Springer Berlin Heidelberg Reasoning Web. Semantic Technologies for Software Engineering ISBN: 9783642155420 2010
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-15543-7_3

Towards hybrid reasoning for verifying and validating multilevel models

Auteurs: Edward Thomas; Jeff Z. Pan; Gerd Gröner; Nophadol Jekjantuk
Publié dans: Springer Berlin Heidelberg Knowledge Engineering and Management by the Masses ISBN: 9783642164378 2010
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-16438-5_31

Domain-specific modelling tools beyond metamodels and transformations

Auteurs: Julia Schroeter; Andreas Bartho; Florian Heidenreich; Jendrik Johannes; Sven Karol; Christoff Bürger; Mirko Seifert; Uwe Aβmann; Sebastian Cech; Jan Reimann; Claas Wilke; Birgit Demuth; Christian Wende; Jan Polowinski; Michael Thiele
Publié dans: Springer Science and Business Media LLC 2012
Identifiant permanent: Digital Object Identifier:10.1007/s10270-012-0284-6

Graph-based traceability: a comprehensive approach

Auteurs: Andreas Winter; Hannes Schwarz; Jürgen Ebert
Publié dans: Springer Science and Business Media LLC 2009
Identifiant permanent: Digital Object Identifier:10.1007/s10270-009-0141-4

Filling the Gap between Semantic Web and Model Driven Engineering: The TwoUse Toolkit

Auteurs: Silva Parreiras, Fernando; Tobias Walter; Gerd Groener
Identifiant permanent: Digital Object Identifier:10.5281/zenodo.12187; Digital Object Identifier:10.5281/zenodo.12187

A Modelling Method for Consistent Physical Devices Management: An ADOxx Case Study

Auteurs: Harald Kühn; Srdjan Zivkovic; Krzysztof Miksa
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-22056-2_12

Second workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2009)

Auteurs: Fernando Silva Parreiras; Jeff Z. Pan; Jakob Herinksson; Uwe Assmann
Publié dans: Springer Berlin Heidelberg Models in Software Engineering 2010
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-12261-3_30

Report on querying the combined metamodel

Auteurs: Nophadol Jekjantuk; Jeff Z Pan; Yuting Zhao; Silva Parreiras, Fernando; Gerd Groener; Tobias Walter
Publié dans: University of Koblenz-Landau Array 2009
Identifiant permanent: Digital Object Identifier:10.5281/zenodo.12236; Digital Object Identifier:10.5281/zenodo.12236

Bridging query languages in semantic and graph technologies

Auteurs: Hannes Schwarz; Jürgen Ebert
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-15543-7_5

Soundness preserving approximation for TBox reasoning

Auteurs: #N/D

First workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2008)

Auteurs: Silva, F.; Pan, J. Z.; Uwe Aßmann; Herinksson, J.
Publié dans: Association for Computing Machinery (ACM) Models in Software Engineering 2009
Identifiant permanent: Digital Object Identifier:10.1145/1519103.1519128; Digital Object Identifier:10.1007/978-3-642-01648-6_33

Joint language and domain engineering

Auteurs: Steffen Staab; Tobias Walter; Jürgen Ebert; Fernando Silva Parreiras
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-13595-8_25

Model Driven Specification of Ontology Translations

Auteurs: Andreas Winter; Simon Schenk; Steffen Staab; Fernando Silva Parreiras
Publié dans: Springer Berlin Heidelberg Conceptual Modeling - ER 2008 2008
Identifiant permanent: Digital Object Identifier:10.1007/978-3-540-87877-3_35

On the reuse and recommendation of model refactoring specifications

Auteurs: Uwe Aβmann; Mirko Seifert; Jan Reimann
Publié dans: Springer Science and Business Media LLC 2012
Identifiant permanent: Digital Object Identifier:10.1007/s10270-012-0243-2

TrOWL: tractable OWL 2 reasoning infrastructure

Auteurs: Jeff Z. Pan; Edward Thomas; Yuan Ren
Identifiant permanent: Digital Object Identifier:10.1007/978-3-642-13489-0_38

Ontology-based model synchronisation

Auteurs: #N/D

Improving design patterns by description logics: A use case with abstract factory and strategy

Auteurs: Silva Parreiras, Fernando; Steffen Staab; Andreas Winter
Identifiant permanent: Digital Object Identifier:10.5281/zenodo.12239; Digital Object Identifier:10.5281/zenodo.12239

Report on transformation patterns

Auteurs: Silva Parreiras, Fernando; Tobias Walter; Christian Wende
Publié dans: University of Koblenz-Landau Array 2009
Identifiant permanent: Digital Object Identifier:10.5281/zenodo.12237; Digital Object Identifier:10.5281/zenodo.12237