{"type":"ScholarlyArticle","title":"Completing Description Logic Knowledge Bases Using Formal Concept Analysis","authors":[{"name":"Franz Baader","slug":"franz-baader","given":"Franz","family":"Baader","affiliation":""},{"name":"Bernhard Ganter","slug":"bernhard-ganter","given":"Bernhard","family":"Ganter","affiliation":""},{"name":"Baris Sertkaya","slug":"baris-sertkaya","given":"Baris","family":"Sertkaya","affiliation":""},{"name":"Ulrike Sattler","slug":"ulrike-sattler","given":"Ulrike","family":"Sattler","affiliation":""}],"abstract":"We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense.","doi":null,"url":"https://ijcai.org/proceedings/2007/35","pdf":"https://ijcai.org/proceedings/2007/0035.pdf","markdown":"https://ijcai.org/proceedings/2007/35.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/35","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":35,"pages":{"first":230,"last":234},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}