{"type":"ScholarlyArticle","title":"On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics","authors":[{"name":"David Toman","slug":"david-toman","given":"David","family":"Toman","affiliation":""},{"name":"Grant E. Weddell","slug":"grant-e-weddell","given":"Grant E.","family":"Weddell","affiliation":""}],"abstract":"We investigate how inverse features can be added to a boolean complete description logic with pathfunctional dependencies in ways that avoid undecidability of the associated logical implication problem. In particular, we present two conditions that ensure the problem remains EXPTIMEcomplete. The first is syntactic in nature and limits the form that dependencies may have in argument terminologies. The second is a coherence condition on terminologies that is sufficiently weak to allow the transfer of relational and emerging objectoriented normalization techniques.","doi":null,"url":"https://ijcai.org/proceedings/2005/176","pdf":"https://ijcai.org/proceedings/2005/0176.pdf","markdown":"https://ijcai.org/proceedings/2005/176.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/176","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":176,"pages":{"first":603,"last":607},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}