Skip to main content
SpringerLink
Log in
Book cover

Asian Semantic Web Conference

ASWC 2008: The Semantic Web pp 106–121Cite as

Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics

  • Conference paper

  • 760 Accesses

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

Abstract

This work introduces the framework of Frame Answer Set programs (fas). fas programs are a frame logic-like language working under answer set semantics augmented with higher order constructs.

The syntax of the language includes the possibility to manipulate nested molecules, class hierarchies, basic method signatures and contexts (called framespaces). Semantics is defined in terms of a corresponding stable model semantics, paving the way to model object ontologies and their semantics under this well known paradigm.

The language is purposely designed so that inheritance behavior and other features of the language can be easily customized by the introduction of specialized axiomatic modules, which can be modeled on purpose by advanced developers of ontology languages. Also, contexts allow to model hybrid systems integrating multiple data sources working under different entailment regimes. Properties and relationship with original F-logic semantics of some of the presented axiomatizations are given. A system prototype has been implemented and is available for evaluation.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Battle, S., et al.: Semantic Web Services Language, http://www.w3.org/Submission/SWSF-SWSL/

  2. Boley, H., Kifer, M.: Rif core design. W3C Editor’s Draft (2007)

    Google Scholar 

  3. Boley, H., Kifer, M., Pătrânjan, P.-L., Polleres, A.: Rule interchange on the web. In: Antoniou, G., Aßmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web 2007. LNCS, vol. 4636, pp. 269–309. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385–390 (2007)

    Google Scholar 

  5. Buccafurri, F., Faber, W., Leone, N.: Disjunctive Logic Programs with Inheritance. TPLP 2(3) (May 2002)

    Google Scholar 

  6. Buccafurri, F., Leone, N., Rullo, P.: Enhancing Disjunctive Datalog by Constraints. IEEE TKDE 12(5), 845–860 (2000)

    Google Scholar 

  7. Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable functions in ASP: Theory and implementation (unpublished, 2008)

    Google Scholar 

  8. Calimeri, F., Ianni, G.: Template programs for disjunctive logic programming: An operational semantics. AI Communications 19(3), 193–206 (2006)

    MATH  MathSciNet  Google Scholar 

  9. de Bruijn, J., et al.: WSMO Final Draft (2005), http://www.wsmo.org/TR/d2/v1.2/

  10. de Bruijn, J., Heymans, S.: Translating ontologies from predicate-based to frame-based languages. RuleML, 7–16 (2006)

    Google Scholar 

  11. de Bruijn, J., Lausen, H., Polleres, A., Fensel, D.: The web service modeling language WSML: An overview. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 590–604. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Eiter, T., Ianni, G., Tompits, H., Schindlauer, R.: A uniform integration of higher-order reasoning and external evaluations in answer set programming. In: IJCAI, pp. 90–96 (2005)

    Google Scholar 

  13. Eiter, T., Ianni, G., Tompits, H., Schindlauer, R.: Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)

    MATH  Google Scholar 

  15. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)

    Google Scholar 

  16. Jamil, H.M.: Implementing abstract objects with inheritance in datalog¬. In: VLDB, pp. 56–65 (1997)

    Google Scholar 

  17. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  18. Kiryakov, A., Ognyanov, D., Manov, D.: Owlim - a pragmatic semantic repository for OWL. In: WISE Workshops, pp. 182–192 (2005)

    Google Scholar 

  19. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DVL system for knowledge representation and reasoning. ACM TOCL 7(3), 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  20. Lifschitz, V., Tang, L.R., Turner, H.: Nested Expressions in Logic Programs. AMAI 25(3–4), 369–389 (1999)

    MATH  MathSciNet  Google Scholar 

  21. Ludäscheret, B., et al.: Managing semistructured data with florid: A deductive object-oriented perspective. Inf. Syst. 23(8), 589–613 (1998)

    Article  Google Scholar 

  22. Muñoz, S., Pérez, J., Gutierrez, C.: Minimal deductive systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 53–67. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332–347. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Przymusinski, T.C.: Stable Semantics for Disjunctive Programs. New Generation Computing 9, 401–424 (1991)

    Article  Google Scholar 

  25. Ricca, F., et al.: OntoDLV: an ASP-based System for Enterprise Ontologies. Journal of Logic and Computation (Forthcoming, 2008)

    Google Scholar 

  26. Ricca, F., Leone, N.: Disjunctive logic programming with types and objects: The dlv\(^{\mbox{+}}\) system. J. Applied Logic 5(3), 545–573 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  27. Roman, D., et al.: Web service modeling ontology. Applied Ontology 1(1), 77–106 (2005)

    Google Scholar 

  28. Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: KR, pp. 68–78 (2006)

    Google Scholar 

  29. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1-2), 181–234 (2002)

    Article  MATH  Google Scholar 

  30. Sintek, M., Decker, S.: TRIPLE - an RDF query, inference, and transformation language. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  31. RDF Core Working Group. The Resource Description Framework (2006), http://www.w3.org/RDF/

  32. Yang, G., Kifer, M., Zhao, C.: Flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web. In: CoopIS/DOA/ODBASE, pp. 671–688 (2003)

    Google Scholar 

  33. Yang, G., Kifer, M.: Inheritance in Rule-Based Frame Systems: Semantics and Inference. Journal on Data Semantics 7, 79–135 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Università della Calabria, I-87036, Rende (CS), Italy

    Mario Alviano, Giovambattista Ianni, Marco Marano & Alessandra Martello

Authors
  1. Mario Alviano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovambattista Ianni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco Marano
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alessandra Martello
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Open University Knowledge Media Institute, Walton Hall, MK6 7AA, Milton Keynes, United Kingdom

    John Domingue

  2. Shinawatra University 99 Moo 10 Bangtoey, Samkok, 12160, Pathum Thani, Thailand

    Chutiporn Anutariya

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alviano, M., Ianni, G., Marano, M., Martello, A. (2008). Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. In: Domingue, J., Anutariya, C. (eds) The Semantic Web. ASWC 2008. Lecture Notes in Computer Science, vol 5367. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89704-0_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89704-0_8

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation