Skip to main content
SpringerLink
Log in

On Order Dependencies for the Semantic Web

  • Conference paper
Conceptual Modeling - ER 2007 (ER 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4801))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baudinet, M., Chomicki, J., Wolper, P.: Constraint-generating dependencies. J. Comput. Syst. Sci. 59(1), 94–115 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  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. Biskup, J., Polle, T.: Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Informatica 39, 391–449 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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. Ginsburg, S., Hull, R.: Order Dependency in the Relational Model. TCS 26, 149–195 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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. 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. Resource Description Framework (RDF), http://www.w3.org/RDF/

  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. SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/

  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. 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. 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. Toman, D., Weddell, G.: On Reasoning about Structural Equality in XML: A Description Logic Approach. Theoretical Computer Science 336(1), 181–203 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. Web Ontology Language (OWL) (2004), http://www.w3.org//OWL/

  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. Weddell, G.: Reasoning about Functional Dependencies Generalized for Semantic Data Models. TODS 17(1), 32–64 (1992)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. David R. Cheriton School of Computer Science, University of Waterloo, Canada

    David Toman & Grant Weddell

  2. Faculty of Computer Science, Free University of Bozen-Bolzano, Italy

    David Toman

Authors
  1. David Toman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Grant Weddell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christine Parent Klaus-Dieter Schewe Veda C. Storey Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Toman, D., Weddell, G. (2007). On Order Dependencies for the Semantic Web. In: Parent, C., Schewe, KD., Storey, V.C., Thalheim, B. (eds) Conceptual Modeling - ER 2007. ER 2007. Lecture Notes in Computer Science, vol 4801. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75563-0_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75563-0_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75562-3

  • Online ISBN: 978-3-540-75563-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation