Harmse, HBritz, KGerber, A2019-04-022019-04-022018-10Harmse, H., Britz, K. and Gerber, A. 2018. Generating Armstrong ABoxes for ALC TBoxes. 15th International Colloquium on Theoretical Aspects of Computing, Stellenbosch, South Africa, 16-19 October 2018. Theoretical Aspects of Computing – ICTAC 2018, pp. 211-230978-3-030-02507-6https://www.springer.com/gp/book/9783030025076https://www.springer.com/us/book/9783030025076http://hdl.handle.net/10204/10896This is the accepted version of the published item. The published version can be obtained via the publisher's website: https://www.springer.com/us/book/9783030025076A challenge in ontology engineering is the mismatch in expertise between the ontology engineer and domain expert, which often leads to important constraints not being specified. Domain experts often only focus on specifying constraints that should hold and not on specifying constraints that could possibly be violated. In an attempt to bridge this gap we propose the use of “perfect test data”. The generated test data is perfect in that it satisfies all the constraints of an application domain that are required, including ensuring that the test data violates constraints that can be violated. In the context of Description Logic ontologies we call this test data an “Armstrong ABox”, a notion derived from Armstrong relations in relational database theory. In this paper we detail the theoretical development of Armstrong ABoxes for ALC TBoxes as well as an algorithm for generating such Armstrong ABoxes. The proposed algorithm is based, via the ontology completion algorithm of Baader et al., on attribute exploration in formal concept analysis.enArmstrong ABoxesBook ChapterHarmse, H., Britz, K., & Gerber, A. (2018). Generating Armstrong ABoxes for ALC TBoxes., <i>Worklist;22127</i> Springer. http://hdl.handle.net/10204/10896Harmse, H, K Britz, and A Gerber. "Generating Armstrong ABoxes for ALC TBoxes" In <i>WORKLIST;22127</i>, n.p.: Springer. 2018. http://hdl.handle.net/10204/10896.Harmse H, Britz K, Gerber A. Generating Armstrong ABoxes for ALC TBoxes.. Worklist;22127. [place unknown]: Springer; 2018. [cited yyyy month dd]. http://hdl.handle.net/10204/10896.TY - Book Chapter AU - Harmse, H AU - Britz, K AU - Gerber, A AB - A challenge in ontology engineering is the mismatch in expertise between the ontology engineer and domain expert, which often leads to important constraints not being specified. Domain experts often only focus on specifying constraints that should hold and not on specifying constraints that could possibly be violated. In an attempt to bridge this gap we propose the use of “perfect test data”. The generated test data is perfect in that it satisfies all the constraints of an application domain that are required, including ensuring that the test data violates constraints that can be violated. In the context of Description Logic ontologies we call this test data an “Armstrong ABox”, a notion derived from Armstrong relations in relational database theory. In this paper we detail the theoretical development of Armstrong ABoxes for ALC TBoxes as well as an algorithm for generating such Armstrong ABoxes. The proposed algorithm is based, via the ontology completion algorithm of Baader et al., on attribute exploration in formal concept analysis. DA - 2018-10 DB - ResearchSpace DP - CSIR KW - Armstrong ABoxes LK - https://researchspace.csir.co.za PY - 2018 SM - 978-3-030-02507-6 T1 - Generating Armstrong ABoxes for ALC TBoxes TI - Generating Armstrong ABoxes for ALC TBoxes UR - http://hdl.handle.net/10204/10896 ER -