![](bg8.png)
tology modelling language. In Intelligent Information
Integration.
Engels, G. and Groenewegen, L. (2000). Object-oriented
modeling: a roadmap. In Proceedings of the Con-
ference on the Future of Software Engineering, pages
103–116.
Fern
´
andez-L
´
opez, M., G
´
omez-P
´
erez, A., and Juristo, N.
(1997). Methontology: from ontological art towards
ontological engineering.
Fu, C., Yang, D., Zhang, X., and Hu, H. (2017). An ap-
proach to translating ocl invariants into owl 2 dl ax-
ioms for checking inconsistency. Automated Software
Engineering, 24(2):295–339.
Gogolla, M., B
¨
uttner, F., and Richters, M. (2007). Use:
A uml-based specification environment for validat-
ing uml and ocl. Science of Computer Programming,
69(1-3):27–34.
Gonz
´
alez, C. A. and Cabot, J. (2014). Formal verifica-
tion of static software models in mde: A system-
atic review. Information and Software Technology,
56(8):821–838.
Hafeez, A., Musavi, S. H. A., and ur Rehman, A. (2018).
Ontology-based verification of uml class/ocl model.
Mehran University Research Journal of Engineering
& Technology, 37(4):521–534.
Horrocks, I. (1998). The fact system. In Interna-
tional Conference on Automated Reasoning with Ana-
lytic Tableaux and Related Methods, pages 307–312.
Springer.
Khan, A. H. and Porres, I. (2015). Consistency of uml
class, object and statechart diagrams using ontology
reasoners. Journal of Visual Languages & Comput-
ing, 26:42–65.
Lupp, D. P., Hodkiewicz, M., and Skjæveland, M. G.
(2020). Template libraries for industrial asset mainte-
nance: A methodology for scalable and maintainable
ontologies. In CEUR Workshop Proceedings, volume
2757, pages 49–64. Rheinisch-Westfaelische Technis-
che Hochschule Aachen* Lehrstuhl Informatik V.
Maedche, A., Schnurr, H.-P., Staab, S., and Studer, R.
(2000). Representation language-neutral modeling of
ontologies. In Proceedings of the German Workshop”
Modellierung-2000”. Koblenz, Germany, pages 129–
142.
Milanovi
´
c, M., Ga
ˇ
sevi
´
c, D., Giurca, A., Wagner, G., and
Deved
ˇ
zi
´
c, V. (2006). On interchanging between
owl/swrl and uml/ocl. In Proceedings of 6th Workshop
on OCL for (Meta-) Models in Multiple Application
Domains (OCLApps) at the 9th ACM/IEEE Interna-
tional Conference on Model Driven Engineering Lan-
guages and Systems (MoDELS), Genoa, Italy, pages
81–95.
Mizoguchi, R. (2004). Tutorial on ontological engineering
part 2: Ontology development, tools and languages.
New Generation Computing, 22(1):61–96.
Mkhinini, M. M., Labbani-Narsis, O., and Nicolle, C.
(2020). Combining uml and ontology: An exploratory
survey. Computer Science Review, 35:100–223.
Parreiras, F. S. and Staab, S. (2010). Using ontologies
with uml class-based modeling: The twouse approach.
Data & Knowledge Engineering, 69(11):1194–1207.
Parsia, B. and Sirin, E. (2004). Pellet: An owl dl reasoner.
In Third international semantic web conference-
poster, volume 18, page 13. Citeseer.
Prud’hommeaux, E., Labra Gayo, J. E., and Solbrig, H.
(2014). Shape expressions: an rdf validation and
transformation language. In Proceedings of the 10th
International Conference on Semantic Systems, pages
32–40.
Richters, M. and Gogolla, M. (2002). Ocl: Syntax, seman-
tics, and tools. In Object Modeling with the OCL,
pages 42–68. Springer.
Shearer, R., Motik, B., and Horrocks, I. (2008). Hermit: A
highly-efficient owl reasoner. In Owled, volume 432,
page 91.
Stadnicki, A., Pietro
´
n, F. F., and Burek, P. (2020). Towards a
modern ontology development environment. Procedia
Computer Science, 176:753–762.
Staworko, S., Boneva, I., Gayo, J. E. L., Hym, S.,
Prud’Hommeaux, E. G., and Solbrig, H. (2015). Com-
plexity and expressiveness of shex for rdf. In 18th
International Conference on Database Theory (ICDT
2015).
Timm, J. T. and Gannod, G. C. (2007). Specifying se-
mantic web service compositions using uml and ocl.
In IEEE International Conference on Web Services
(ICWS 2007), pages 521–528. IEEE.
Tudorache, T. (2020). Ontology engineering: Current
state, challenges, and future directions. Semantic Web,
11(1):125–138.
Wang, X. and Chan, C. W. (2001). Ontology modeling us-
ing uml. In OOIS 2001, pages 59–68. Springer.
An Object Oriented Approach for Ontology Modeling and Reasoning
135