Functional Dependencies in OWL ABox. Calbimonte, J. & Porto, F. In Proceedings of the 11th Workshop on Non-Monotonic Reasoning, NMR 2006, Alemania, 2006. Institut für Informatik. Ontology Engineering Group ? OEG
Functional Dependencies in OWL ABox [link]Paper  abstract   bibtex   
Functional Dependency (FD) has been extensively studied in database theory. Most recently there have been some works investigating the implications of extending Description Logics with functional dependencies. In particular the OWL ontology language offers the functional property property allowing simple functional dependency to be specified. As it turns out, more complex FD specified as concept constructors has been proved to lead to undecidability in the general case, which restricts its usage as part of TBOX. This paper departs from previous ones by restricting FDs applicability to instances in the ABOX. We specify FD as a new constructor, an OWL concept. FD instances are mapped to Horn clauses and evaluated against the ABOX according to user?s desired behavior. The latter allows users to determine whether FDs should be interpreted as constraints, assertions or views. Our approach gives ontology users data guarantees usually found in databases, integrated with the ontology conceptual model.
@inproceedings{upm5120,
       booktitle = {Proceedings of the 11th Workshop on Non-Monotonic Reasoning, NMR 2006},
           title = {Functional Dependencies in OWL ABox},
          author = {JP. Calbimonte and F. Porto},
         address = {Alemania},
       publisher = {Institut f{\"u}r Informatik},
            year = {2006},
            note = {Ontology Engineering Group ? OEG},
        keywords = {oeg},
             url = {http://oa.upm.es/5120/},
        abstract = {Functional Dependency (FD) has been extensively  studied in database theory. Most recently there have been some  works investigating the implications of extending Description  Logics with functional dependencies.  In particular the OWL  ontology language offers the functional property property  allowing simple functional dependency to be specified. As it  turns out, more complex FD specified as concept constructors  has been proved to lead to undecidability in the general case,  which restricts its usage as part of TBOX. This paper departs  from previous ones by restricting FDs applicability to instances  in the ABOX. We specify FD as a new constructor, an OWL  concept. FD instances are mapped to Horn clauses and evaluated  against the ABOX according to user?s desired behavior.  The  latter allows users to determine whether FDs should be  interpreted as constraints, assertions or views. Our approach  gives ontology users data guarantees usually found in databases,  integrated with the ontology conceptual model.}
}

Downloads: 0