|
Published Articles >> Table of Contents >> Abstract
September/October 2003 (Vol. 18, No. 5)
pp. 76-83
Where Are the Rules?
Ian Horrocks, University of Manchester
Jurgen Angele, Ontoprise GmbH
Stefan Decker, Information Sciences Institute
Michael Kifer, Stony Brook University
Benjamin Grosof, MIT Sloan School of Management
Gerd Wagner, Eindhoven University of Technology
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MIS.2003.10011
Send link to a friend
| Abstract |
|
Rules for the Semantic WebIt Rules!Semantic RulesThe Semantic Web Needs a Logic for Rules and ObjectsRules and RuleML in the Semantic WebSeven Golden Rules for a Web Rule LanguageWeb Ontology Language is now the W3C's candidate recommendation, so the promises of the Semantic Web should come closer to being realities. However, OWL cannot account for some rules. Beyond a solid foundation of RDF, RDFS, and OWL, rule standardization is missing. This issue's essays explore different approaches to solving this problem.
|
 References
|
[1] D. McGuinness and F. van Harmelen, eds. OWL Web Ontology Language Overview, W3C Candidate Recommendation, 18 Aug. 2003; www.w3.org/TR2003ICR-owl-features-20030818 .
[2] T. Berners-Lee, J. Hendler, and O. Lassila, "The Semantic Web," Scientific Am., vol. 284, no. 5, May 2001, pp. 35-43; www.sciam.comarticle.cfm?articleID=00048144-10D2-IC70-84A9809EC588EF21 .
Additional References
[1] B.N. Grosof et al., "Description Logic Programs: Combining Logic Programs with Description Logic," Proc. 12th Int'l World Wide Web Conf. (WWW 2003), ACM Press, 2003, pp. 48-57; http://www2003.org/cdrom/papers/refereed/ p117p117-grosof.html.
[2] I. Horrocks and P.F. Patel-Schneider, "Three Theses of Representation in the Semantic Web," Proc. 12th Int'l World Wide Web Conf. (WWW 2003), ACM Press, 2003, pp. 39-47; http://www2003.org/cdrom/papers/refereed/ p050p50-horrocks.html.
[3] P.F. Patel-Schneider, P. Hayes, and I. Horrocks, "OWL Web Ontology Language Semantics and Abstract Syntax," Mar. 2003; www.w3.org/TRowl-semantics.
[4] P.F. Patel-Schneider and D. Fensel, "Layering the Semantic Web: Problems and Directions," Proc. 1st Int'l Semantic Web Conf., Springer-Verlag, 2002, pp. 16-29.
[5] I. Horrocks and U. Sattler, "Decidability of SHIQ with Complex Role Inclusion Axioms," Proc. 18th Int'l Joint Conf. Artificial Intelligence (IJCAI 03), AAAI Press, 2003, pp. 343-348.
Additional References
[1] F. Baader et al., The Description Logic Handbook, Cambridge Univ. Press, 2001.
[2] S. Decker et al., "OntoBroker: Ontology Based Access to Distributed and Semi-Structured Information," Database Semantics: Semantic Issues in Multimedia Systems, Kluwer Academic, 1998, pp. 351-369.
[3] M. Kifer, G. Lausen, and J. Wu, "Logical Foundations of Object-Oriented and Frame-Based Languages," J. ACM, vol. 42, no. 4, July 1995, pp. 741-843.
[4] G. Yang and M. Kifer, "FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine," Computational Logic— CL 2000, LNAI 1861, Springer-Verlag, 2000, pp. 1078-1093.
[5] S. Decker and M. Sintek, "TRIPLE— A Query, Inference, and Transformation Language for the Semantic Web," The Semantic Web— ISWC 2002, LNCS 2,342, Springer-Verlag, 2002, pp. 364-378.
[6] B.N. Grosof et al., "Description Logic Programs: Combining Logic Programs with Description Logic," Proc. 12th Int'l World Wide Web Conf. (WWW 03), Int'l World Wide Web Conf. Committee, 2003, pp. 48-57.
Additional References
[1] G. Brewka and J. Dix, "Knowledge Representation with Logic Programs," Logic Programming and Knowledge Representation, LNAI 1471, Springer-Verlag, 1998, pp. 1-51.
[2] C. Baral and M. Gefond, "Logic Programming and Knowledge Representation," J. Logic Programming, vols. 19-20, 1994, pp. 73-148.
[3] J.W. Lloyd and R.W Topor, "Making Prolog More Expressive," J. Logic Programming, vol. 3, 1984, pp. 225-240.
[4] M. Kifer, G. Lausen, and J. Wu, "Logical Foundations of Object-Oriented and Frame-Based Languages," J. ACM, vol. 42, no. 4, July 1995, pp. 741-843.
[5] M. Sintek and S. Decker, "TRIPLE— A Query, Inference, and Transformation Language for the Semantic Web," The Semantic Web-ISWC 2002, LNCS 2342, Springer-Verlag, pp. 364-378.
Additional References
[1] F. Bancilhon et al., "Magic Sets and Other Strange Ways to Implement Logic Programs," Proc. 5th ACM SIGACT-SIGMOD Symp. Principles of Database Systems, ACM Press, 1986, pp. 1-16.
[2] H. Tamaki and T. Sato, "OLD Resolution with Tabulation," Proc. 3rd Int'l Conf. Logic Programming (ICLP 86), LNCS 225, Springer-Verlag, pp. 84-98.
[3] M. Kifer, G. Lausen, and J. Wu, "Logical Foundations of Object-Oriented and Frame-Based Languages," J. ACM, vol. 42, no. 4, July 1995, pp. 741-843.
Additional References
[1] B. Grosof, Y. Labrou, and H. Chan, "A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML," Proc. 1st ACM Conf. Electronic Commerce (EC 99), ACM Press, 1999.
[2] B. Grosof et al., "Description Logic Programs: Combining Logic Programs with Description Logic," Proc. 12th Int'l World Wide Web Conf. (WWW 2003), ACM Press, 2003.
[3] J. Lloyd, Foundations of Logic Programming, Springer-Verlag, 1987.
Additional References
[1] K. Taveter and G. Wagner, "Agent-Oriented Enterprise Modeling Based on Business Rules," Proc. 20th Int'l Conf. Conceptual Modeling (ER 2001), LNCS 2224, Springer-Verlag, 2001, pp. 527-540.
|
 Additional Information
|
Index Terms- Web Ontology Language, Semantic Web, rules
Citation:
Ian Horrocks, Jurgen Angele, Stefan Decker, Michael Kifer, Benjamin Grosof, Gerd Wagner,
"Where Are the Rules?,"
IEEE Intelligent Systems,
vol. 18,
no. 5,
pp. 76-83,
Sept/Oct,
2003
|
|
RSS Feed