Rules and ontologies in F-logic

Lecture Notes in Computer Science

Volumn 3564, Issue , 2005, Pages 22-34

  Kifer, Michael ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; SOFTWARE AGENTS; SOFTWARE ENGINEERING;

AGENT-BASED SYSTEMS; F-LOGIC; INFORMATION INTEGRATION; ONTOLOGY MODELING;

OBJECT ORIENTED PROGRAMMING;

EID: 26444598503     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526988_2     Document Type: Conference Paper

References (32)

1. J. Angele and G. Lausen. Ontologies in F-logic. In S. Staab and R. Studer, editors, Handbook on Ontologies in Information Systems, pages 29-50. Springer Verlag, Berlin, Germany, 2004.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2002.
3. M. Balaban. The F-logic approach for description languages. Annals of Mathematics and Artificial Intelligence, 15(1):19-60, 1995.
4. D. Berardi, H. Boley, B. Grosof, M. Gruninger, R. Hull, M. Kifer, D. Martin, S. McIlraith, J. Su, and S. Tabet. SWSL: Semantic Web Services Language. Technical report, Semantic Web Services Initiative, April 2005. http://www.daml.org/services/swsl/.
5. A. Bonner and M. Kifer. A logic for programming database transactions. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117-166. Kluwer Academic Publishers, March 1998.
6. W. Chen, M. Kifer, and D. Warren. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187-230, February 1993.
7. J. de Bruijn, H. Lausen, R. Krummenacher, A. Polleres, L. Predoiu, and D. Fensel. The WSML family of representation languages. Technical report, DERI, March 2005. http://www.wsmo.org/TR/d16/d16.1/.
8. S. Decker, D. Brickley, J. Saarela, and J. Angele. A query and inference service for RDF. In QL'98 - The Query Languages Workshop, December 1998.
9. D. Fensel, M. Erdmann, and R. Studer. OntoBroker: How to make the WWW intelligent. In Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, 1998.
10. J. Frohn, G. Lausen, and H. Uphoff. Access to objects by path expressions and rules. In Proceedings of the Intl. Conference on Very Large Databases, pages 273-284, Santiago, Chile, 1994. Morgan Kaufmann, San Francisco, CA.
11. B. Grosof. Prioritized conflict handling for logic programs. In International Logic Programming Symposium, pages 197-211, 1997.
12. B. Grosof. A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report RC 21472, IBM, July 1999.
13. P. Hayes. RDF model theory. W3C Working Draft, 10 October 2003. Available at http://www.w3.org/TR/rdf-mt/.
14. M. Kifer, R. Lara, A. Polleres, and C. Zhao. A logical framework for web service discovery. In Semantic Web Services Workshop, November 2004.
15. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of ACM, 42:741-843, July 1995.
16. G. Klyne and J. J. Carroll. Resource description framework (RDF): Concepts and abstract syntax. W3C Working Draft, 10 October 2003. Available at http://www.w3.org/TR/rdf-concepts/.
17. J. W. Lloyd. Foundations of Logic Programming (Second, extended edition). Springer series in symbolic computation. Springer-Verlag, New York, 1987.
18. J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. MIT Press, Cambridge, Massachusetts, 1992.
19. N.Lindenstrauss and Y. Sagiv. Automatic termination analysis of logic programs. In International Conference on Logic Programming, 1997.
20. Ontoprise, GmbH. OntoBroker Manual. http://www.ontoprise.com/.
21. OWL-S Coalition. OWL-S: Semantic markup for Web services. Release 1.1. http://www.daml.org/services/owl-s/1.1/, December 2004.
22. T. Przymusinski. Well-founded and stationary models of logic programs. Annals of Mathematics and Artificial Intelligence, 12:141-187, 1994.
23. M. Sintek, S. Decker, and A. Harth. The TRIPLE system. http://triple.semanticweb.org/, 2003.
24. M. K. Smith, C. Welty, and D. L. McGuinness. OWL Web ontology language guide. W3C Candidate Recommendation, 18 August 2003. Available at http://www.w3.org/TR/owl-guide/.
25. S. Staab and A. Maedche. Knowledge portals: Ontologies at work. The AI Magazine, 22(2):63-75, 2000.
26. A. Van Gelder, K. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. J. ACM, 38(3):620-650, July 1991.
27. G. Yang and M. Kifer. Implementing an efficient DOOD system using a tabling logic engine. In First International Conference on Computational Logic, DOOD'2000 Stream, July 2000.
28. G. Yang and M. Kifer. Well-founded optimism: Inheritance in frame-based knowledge bases. In Intl. Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE), October 2002.
29. G. Yang and M. Kifer. Inheritance and rules in object-oriented semantic Web languages. In Rules and Rule Markup Languages for the Semantic Web (RuleML03), volume 2876 of Lecture Notes in Computer Science. Springer Verlag, November 2003.
30. G. Yang and M. Kifer. Reasoning about anonymous resources and meta statements on the Semantic Web. Journal on Data Semantics, LNCS 2800, 1:69-98, September 2003.
31. G. Yang, M. Kifer, and C. Zhao. FLORA-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In International Conference on Ontologies, Databases and Applications of Semantics (ODBASE-2003), November 2003.
32. G. Yang, M. Kifer, and C. Zhao. FLORA-2: User's Manual. http://flora. sourceforge.net/, March 2005.