C. Bock, A. Fokoue, P. Haase, R. Hoekstra, I. Horrocks, A. Ruttenberg, U. Sattler & M. Smith:
OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax.
W3 Recommendation.
http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/.
Manfred Broy, María Victoria Cengarle, Hans Grönniger & Bernhard Rumpe (2009):
Considerations and Rationale for a UML System Model,
pp. 43–60.
John Wiley and Sons, Inc.,
doi:10.1002/9780470522622.ch3.
Xiaoxia Cao, Huaikou Miao & Qingguo Xu (2008):
Verifying Service-Oriented Requirements Using Model Checking.
In: Proceedings of the 2008 IEEE International Conference on e-Business Engineering,
ICEBE '08.
IEEE Computer Society,
Washington, DC, USA,
pp. 643–648,
doi:10.1109/ICEBE.2008.30.
R. Heckel, H. Voigt, J. Kuster & S. Thone (2003):
Towards Consistency of Web Service Architectures.
In the Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics.
A. Holovaty & J. Kaplan-Moss (2007):
The Definitive Guide to Django: Web Development Done Right.
Apress.
Ian Horrocks, Oliver Kutz & Ulrike Sattler (2006):
The Even More Irresistible SROIQ.
In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006).
AAAI Press,
pp. 57–67.
Available at download/2006/HoKS06a.pdf.
C. Nentwich, W. Emmerich & A. Finkelstein (2001):
Static Consistency Checking for Distributed Specifications.
In the Proceedings of the 16th IEEE international conference on Automated software engineering.
Ivan Porres & Irum Rauf (2011):
Modeling behavioral RESTful web service interfaces in UML.
In: Proceedings of the 2011 ACM Symposium on Applied Computing,
SAC '11.
ACM,
New York, NY, USA,
pp. 1598–1605,
doi:10.1145/1982185.1982521.
Shearer R, Motik B & Horrocks I (2008):
HermiT: A highly-efficient OWL reasoner..
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2008).
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur & Yarden Katz (2007):
Pellet: A practical OWL-DL reasoner.
Web Semant. 5(2),
pp. 51–53,
doi:10.1016/j.websem.2007.03.004.
W. T. Tsai, X. Wei, Y. Chen & R. Paul (2005):
A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis.
In: Proceedings of the IEEE International Workshop,
SOSE '05.
IEEE Computer Society,
Washington, DC, USA,
pp. 159–166,
doi:10.1109/SOSE.2005.2.
W.T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul & H. Huang (2005):
Developing and assuring trustworthy Web services.
In the Proceedings of Autonomous Decentralized Systems.
Dmitry Tsarkov & Ian Horrocks (2006):
FaCT++ description logic reasoner: system description.
In: Proceedings of the Third international joint conference on Automated Reasoning,
IJCAR'06.
Springer-Verlag,
Berlin, Heidelberg,
pp. 292–297,
doi:10.1007/11814771/26.
YuYu Yin, JianWei Yin, Ying Li & ShuiGuang Deng (2008):
Verifying Consistency of Web Services Behavior Using Type Theory.
In: Asia-Pacific Services Computing Conference, 2008. APSCC '08. IEEE,
pp. 1560–1567,
doi:10.1109/APSCC.2008.149.