Advertisement

On Order Dependencies for the Semantic Web

  • David Toman
  • Grant Weddell
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4801)

Abstract

We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies underlie a number of problems that relate, for example, to web service composition, to document ordering, and to lower level algorithmic issues in service plan generation and evaluation.

Keywords

Resource Description Framework Description Logic Regular Language SPARQL Query Order Dependency 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baudinet, M., Chomicki, J., Wolper, P.: Constraint-generating dependencies. J. Comput. Syst. Sci. 59(1), 94–115 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Biskup, J., Polle, T.: Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints. In: Foundations of Information and Knowledge Systems, pp. 31–49 (2000)Google Scholar
  3. 3.
    Biskup, J., Polle, T.: Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Informatica 39, 391–449 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Borgida, A., Weddell, G.: Adding Uniqueness Constraints to Description Logics (Preliminary Report). In: International Conference on Deductive and Object-Oriented Databases, pp. 85–102 (1997)Google Scholar
  5. 5.
    Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification Constraints and Functional Dependencies in Description Logics. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 155–160 (2001)Google Scholar
  6. 6.
    De Haan, D., Toman, D., Weddell, G.: Rewriting Aggregate Queries using Description Logics. In: Description Logics 2003, pp. 103–112. CEUR-WS vol.81 (2003)Google Scholar
  7. 7.
    Ginsburg, S., Hull, R.: Order Dependency in the Relational Model. TCS 26, 149–195 (1983)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Ito, M., Weddell, G.: Implication Problems for Functional Constraints on Databases Supporting Complex Objects. Journal of Computer and System Sciences 49(3), 726–768 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Khizder, V.L., Toman, D., Weddell, G.: Reasoning about Duplicate Elimination with Description Logic. In: Rules and Objects in Databases (DOOD, part of CL’00), pp. 1017–1032 (2000)Google Scholar
  10. 10.
    Khizder, V.L., Toman, D., Weddell, G.: On Decidability and Complexity of Description Logics with Uniqueness Constraints. In: International Conference on Database Theory ICDT’01, pp. 54–67 (2001)Google Scholar
  11. 11.
    Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, Nominals, and Concrete Domains. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 349–354 (2003)Google Scholar
  12. 12.
    Lutz, C., Milicic, M.: Description Logics with Concrete Domains and Functional Dependencies. In: European Conference on Artificial Intelligence (ECAI), pp. 378–382 (2004)Google Scholar
  13. 13.
    Resource Description Framework (RDF), http://www.w3.org/RDF/
  14. 14.
    Sattler, U., Calvanese, D., Molitor, R.: Relationships with other formalisms. In: The Description Logic Handbook: Theory, Implementation, and Applications, vol. 4, pp. 137–177. Cambridge University Press, Cambridge (2003)Google Scholar
  15. 15.
    SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/
  16. 16.
    Stanchev, L., Weddell, G.: Index Selection for Embedded Control Applications using Description Logics. In: Description Logics 2003, vol. 81, pp. 9–18. CEUR-WS (2003)Google Scholar
  17. 17.
    Toman, D., Weddell, G.: On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. In: Description Logics 2001, vol. 49, pp. 76–85. CEUR-WS (2001)Google Scholar
  18. 18.
    Toman, D., Weddell, G.: Attribute Inversion in Description Logics with Path Functional Dependencies. In: Description Logics 2004, vol. 104, pp. 178–187. CEUR-WS (2004)Google Scholar
  19. 19.
    Toman, D., Weddell, G.: On Reasoning about Structural Equality in XML: A Description Logic Approach. Theoretical Computer Science 336(1), 181–203 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Toman, D., Weddell, G.: On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 603–608 (2005)Google Scholar
  21. 21.
    Toman, D., Weddell, G.: On Keys and Functional Dependencies as First-Class Citizens in Description Logics. In: Proc. of the Third Int. Joint Conf. on Automated Reasoning (IJCAR), pp. 647–661 (2006)Google Scholar
  22. 22.
    Web Ontology Language (OWL) (2004), http://www.w3.org//OWL/
  23. 23.
    Weddell, G.: A Theory of Functional Dependencies for Object Oriented Data Models. In: International Conference on Deductive and Object-Oriented Databases, pp. 165–184 (1989)Google Scholar
  24. 24.
    Weddell, G.: Reasoning about Functional Dependencies Generalized for Semantic Data Models. TODS 17(1), 32–64 (1992)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • David Toman
    • 1
    • 2
  • Grant Weddell
    • 1
  1. 1.David R. Cheriton School of Computer Science, University of WaterlooCanada
  2. 2.Faculty of Computer Science, Free University of Bozen-BolzanoItaly

Personalised recommendations