GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email:

Show simple item record Harmse, H Britz, K Gerber, A 2019-04-02T07:30:34Z 2019-04-02T07:30:34Z 2018-10
dc.identifier.citation Harmse, 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-230 en_US
dc.identifier.isbn 978-3-030-02507-6
dc.description This is the accepted version of the published item. The published version can be obtained via the publisher's website: en_US
dc.description.abstract 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. en_US
dc.language.iso en en_US
dc.publisher Springer en_US
dc.relation.ispartofseries Worklist;22127
dc.subject Armstrong ABoxes en_US
dc.title Generating Armstrong ABoxes for ALC TBoxes en_US
dc.type Book chapter en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ResearchSpace

Advanced Search


My Account