- [Berardi03]
- Automatic composition of e-services that export their
behavior.
D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella.
In Proc. 1st Int. Conf. on Service Oriented Computing (ICSOC),
volume 2910 of LNCS, pages 43--58, 2003.
- [Bernstein2000]
- How can cooperative work tools support dynamic group
processes? Bridging the specificity frontier. A. Bernstein. In
Proc. Computer Supported Cooperative Work (CSCW'2000), 2000.
- [Bernstein2002]
- Towards High-Precision Service Retrieval. A.
Bernstein, and M. Klein. In
Proc. of the first International Semantic Web Conference (ISWC'2002),
2002.
- [Bernstein2003]
- Beyond Monotonic Inheritance: Towards Semantic Web
Process Ontologies. A. Bernstein and B.N. Grosof (NB: authorship
sequence is alphabetic). Working Paper, Aug. 2003. Available at: http://ebusiness.mit.edu/bgrosof/#beyond-mon-inh-basic.
- [Bonner93]
- Database Programming in Transaction Logic. A.J.
Bonner, M. Kifer, M. Consens. Proceedings of the 4-th Intl.~Workshop on
Database Programming Languages,
C. Beeri, A. Ohori and D.E. Shasha
(eds.), 1993. In Springer-Verlag Workshops in Computing Series, Feb.
1994: 309-337.
- [Bonner98]
- A Logic for Programming Database Transactions.
A.J. Bonner, M. Kifer. Logics for Databases and Information Systems, J.
Chomicki and G. Saake (eds.). Kluwer Academic Publishers, 1998: 117-166.
- [Bruijn05]
- Web Service Modeling Ontology (WSMO).
J. de Bruijn, C. Bussler, J. Domingue,
D. Fensel, M. Hepp, M. Kifer, B. König-Ries, J. Kopecky,
R. Lara, E. Oren, A. Polleres, J. Scicluna, M. Stollberg.
DERI Technical Report.
- [BPML 1.0]
- A. Arkin.
Business Process Modeling Language.
BPMI.org, 2002
- [BPEL 1.1]
-
Business Process Execution Language for Web Services, Version 1.1
. S. Thatte, editor.
OASIS Standards Specification, May 5, 2003.
- [Bultan03]
- Conversation specification: A new approach to design and
analysis of e-service composition.
T. Bultan, X. Fu, R. Hull, and J. Su. In Proc. Int. World Wide
Web Conf. (WWW), May 2003.
- [Chang73]
- Symbolic Logic and Mechanical Theorem Proving.
C.L. Chang and R.C.T. Lee. Academic Press, 1973.
- [Chen93]
- HiLog: A Foundation for Higher-Order Logic Programming.
W. Chen, M. Kifer, D.S. Warren. Journal of Logic Programming, 15:3,
February 1993, 187-230.
- [Chimenti89]
- Towards an Open Architecture for LDL. D. Chimeti,
R. Gamboa, R. Krishnamurthy, VLDB Conference, 1989: 195-203.
- [deGiacomo00]
- ConGolog, A Concurrent Programming Language Based on the
Situation
Calculus.
G. de Giacomo, Y. Lesperance, and H. Levesque.
Artificial Intelligence, 121(1--2):109--169, 2000.
- [Fu04]
- WSAT: A Tool for Formal Analysis of Web Services.
X. Fu, T. Bultan, and J. Su. 16th International Conference on
Computer Aided Verification (CAV), July 2004.
- [Frohn94]
- Access to Objects by Path Expressions and Rules.
J. Frohn, G. Lausen, H. Uphoff. Intl. Conference on Very Large
Databases, 1994, pp. 273-284.
- [Gosling96]
- The Java language specification.Gosling, James,
Bill Joy, and Guy L. Steele. 1996. Reading, Mass.: Addison-Wesley.
- [Grosof99a]
- A Courteous Compiler From Generalized Courteous Logic
Programs To Ordinary Logic Programs. B.N. Grosof. IBM Report
included as part of documentation in the IBM CommonRules 1.0 software
toolkit and documentation, released on http://alphaworks.ibm.com. July
1999. Also available at:
http://ebusiness.mit.edu/bgrosof/#gclp-rr-99k.
- [Grosof99b]
-
A Declarative Approach to Business Rules in Contracts.
B.N. Grosof, J.K. Labrou, and H.Y. Chan.
Proceedings of the 1st ACM Conference on Electronic Commerce (EC-99).
Also available at:
http://ebusiness.mit.edu/bgrosof/#econtracts+rules-ec99.
- [Grosof99c]
-
DIPLOMAT: Compiling Prioritized Default Rules Into Ordinary
Logic Programs (Extended Abstract of Intelligent Systems Demonstration).
B.N. Grosof. IBM Research Report RC 21473, May 1999.
Extended version of 2-page refereed conference paper
appearing in Proceedings of the National Conference on
Artificial Intelligence (AAAI-99), 1999. Also available at:
http://ebusiness.mit.edu/bgrosof/#cr-ec-demo-rr-99b.
- [Grosof2003a]
- Description Logic Programs: Combining Logic Programs with
Description Logic. B.N. Grosof, I. Horrocks, R. Volz, and S.
Decker. Proceedings of the 12th International Conference on the World
Wide Web (WWW-2003). Also available at: http://ebusiness.mit.edu/bgrosof/#dlp-www2003.
- [Grosof2004a]
- Representing E-Commerce Rules Via Situated Courteous
Logic Programs in RuleML. B.N. Grosof. Electronic Commerce
Research and Applications, 3:1, 2004, 2-20. Preprint version is also
available at: http://ebusiness.mit.edu/bgrosof/#.
- [Grosof2004b]
- SweetRules: Tools for Semantic Web Rules and Ontologies,
including Translation, Inferencing, Analysis, and Authoring.
B.N. Grosof, M. Dean, S. Ganjugunte, S. Tabet, C. Neogy, and D. Kolas.
http://sweetrules.projects.semwebcentral.org. Software toolkit and
documentation. Version 2.0, Dec. 2004.
- [Grosof2004c]
- Hypermonotonic Reasoning: Unifying Nonmonotonic Logic
Programs with First Order Logic. B.N. Grosof.
http://ebusiness.mit.edu/bgrosof/#HypermonFromPPSWR04InvitedTalk.
Slides from Invited Talk at Workshop on Principles and Practice of
Semantic Web Reasoning (PPWSR04), Sep. 2004; revised Oct. 2004. Paper
in preparation.
- [Grosof2004d]
- SweetPH: Using the Process Handbook for Semantic Web
Services. B.N. Grosof and A. Bernstein.
http://ebusiness.mit.edu/bgrosof/#SweetPHSWSLF2F1204Talk. Slides
from Presentation at SWSL Meeting, Dec. 9-10, 2004. Note: Updates
the design in the 2003 Working Paper "Beyond Monotonic Inheritance:
Towards Semantic Web Process Ontologies" and describes implementation.
- [Grosof2004e]
-
SweetDeal: Representing Agent Contracts with Exceptions using
Semantic Web Rules, Ontologies, and Process Descriptions.
B.N. Grosof and T.C. Poon.
International Journal of Electronic Commerce (IJEC), 8(4):61-98, Summer 2004
Also available at:
http://ebusiness.mit.edu/bgrosof/#sweetdeal-exceptions-ijec.
- [Grosof2004f]
-
Semantic Web Rules with Ontologies, and their E-Business Applications.
B.N. Grosof and M. Dean.
Slides of Conference Tutorial (3.5-hour) at the 3rd International Semantic
Web Conference (ISWC-2004).
Available at:
http://ebusiness.mit.edu/bgrosof/#ISWC2004RulesTutorial.
- [Gruninger03a]
-
A Guide to the Ontology of the Process Specification Language.
M. Gruninger.
Handbook on Ontologies in Information Systems.
R. Studer and S. Staab (eds.). Springer Verlag, 2003.
-
[Gruninger03b]
-
Process Specification Language: Principles and Applications.
M. Gruninger and C. Menzel.
AI Magazine, 24:63-74, 2003.
- [Gruninger03c]
-
Applications of PSL to Semantic Web Services.
M. Gruninger.
Workshop on Semantic Web and Databases. Very Large Databases Conference, Berlin.
- [Hayes04]
- RDF Model Theory.
Hayes, P. W3C, February 2004.
- [Helland05]
- Data on the Outside Versus Data on the Inside.
P. Helland. Proc.
2005 Conf. on Innovative Database Research (CIDR), January,
2005.
- [Hull03]
- E-Services: A Look Behind the Curtain.
R. Hull, M. Benedikt, V. Christophides, J. Su. Proc. of the ACM
Symp. on Principles of Database Systems (PODS), San Diego, June,
2003.
- [Kifer95]
- Logical Foundations of Object-Oriented and Frame-Based
Languages, M. Kifer, G. Lausen, J. Wu. Journal of ACM, 1995, 42,
741-843.
- [Kifer04]
- A Logical Framework for Web Service Discovery, M.
Kifer, R. Lara, A. Polleres, C. Zhao. Semantic Web Services Workshop,
November 2004, Hiroshima, Japan.
- [Klein00a]
- Towards a Systematic Repository of Knowledge About
Managing Collaborative Design Conflicts. Klein, Mark.
2000. Proceedings of the Conference on Artificial Intelligence in
Design. Boston, MA, USA.
- [Klein00b]
- A Knowledge-Based Approach to Handling Exceptions in
Workflow Systems. Klein, Mark, and C. Dellarocas. 2000.
Computer Supported Cooperative Work: The Journal of Collaborative
Computing 9:399-412.
- [Lloyd87]
- Foundations of logic programming (second, extended edition).
J. W. Lloyd. Springer series in symbolic computation. Springer-Verlag,
New York, 1987.
- [Lindenstrauss97]
- Automatic Termination Analysis of Logic Programs.
N. Lindenstrauss and Y. Sagiv. International Conference on Logic
Programming (ICLP), 1997.
- [Maier81]
- Incorporating Computed Relations in Relational Databases.
D. Maier, D.S. Warren. SIGMOD Conference, 1981: 176-187.
- [Malone99]
- Tools for inventing organizations: Toward a handbook of
organizational processes. T. W. Malone, K. Crowston, J. Lee, B.
Pentland, C. Dellarocas, G. Wyner, J. Quimby, C. Osborne, A. Bernstein,
G. Herman, M. Klein, E. O'Donnell. Management Science, 45(3),
pages 425--443, 1999.
- [McIlraith01]
- Semantic Web Services.
IEEE Intelligent Systems, Special Issue on the
Semantic Web, S. McIlraith, T.Son and H. Zeng.
16(2):46--53, March/April, 2001.
- [Milner99]
- Communicating and Mobile Systems: The π-Calculus.
R. Milner. Cambridge University Press, 1999.
- [Narayanan02]
- Simulation, Verification and Automated Composition of Web
Services. S. Narayanan and S. McIlraith.
In Proceedings of the Eleventh International World Wide Web
Conference (WWW-11), May, 2002.
- [Ontobroker]
-
Ontobroker 3.8. Ontoprise, GmbH.
- [OWL Reference]
- OWL
Web Ontology Language 1.0 Reference. Mike Dean, Dan
Connolly, Frank van Harmelen, James Hendler, Ian Horrocks, Deborah L.
McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. W3C
Working Draft 12 November 2002. Latest version is available at http://www.w3.org/TR/owl-ref/.
- [OWL-S 1.1]
- OWL-S:
Semantic Markup for Web Services. David Martin, editor. Technical Overview
(associated with OWL-S Release 1.1).
- [Papazoglou03]
- Service-Oriented Computing: Concepts,
Characteristics and Directions.
M.P. Papazoglou.
Keynote for the 4th International Conference on Web Information
Systems Engineering (WISE 2003), December 10-12, 2003.
- [Perlis85]
- Languages with Self-Reference I: Foundations. D.
Perlis. Artificial Intelligence, 25, 1985, 301-322.
- [Preist04]
- A Conceptual Architecture for Semantic Web Services, C. Preist, 1993.
In Proceedings of Third International Semantic Web Conference, Nov. 2004:
395-409.
- [Reiter01]
- Knowledge in Action: Logical Foundations for Specifying and
Implementing Dynamical Systems.
Raymond Reiter. MIT Press. 2001
- [Scherl03]
- Knowledge, Action, and the Frame Problem.
R. B. Scherl and H. J. Levesque. Artificial Intelligence,
Vol. 144, 2003, pp. 1-39.
- [Singh04]
- Protocols for Processes: Programming in the Large for Open
Systems.
M. P. Singh, A. K. Chopra, N. V. Desai, and A. U. Mallya. Proc. of
the 19th Annual ACM Conf. on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA), Vancouver, October 2004.
- [SWSL Requirements]
- Semantic Web Services Language Requirements.
B. Grosof, M. Gruninger, et al, editors.
White paper of the Semantic Web Services Language Committee.
- [UDDI v3.02]
-
Universal Description, Discovery and Integration (UDDI)
protocol. S. Thatte, editor.
OASIS Standards Specification, February 2005.
- [VanGelder91]
- The Well-Founded Semantics for General Logic Programs.
A. Van Gelder, K.A. Ross, J.S. Schlipf. Journal of ACM, 38:3, 1991,
620-650.
- [WSCL 1.0]
- Web Services
Conversation Language (WSCL) 1.0. A. Banerji et al. W3C Note, March 14, 2002.
- [WSDL 1.1]
-
Web Services Description
Language (WSDL) 1.1. E. Christensen, F. Curbera,
G. Meredith, and S. Weerawarana. W3C Note, March 15, 2001.
- [WSDL 2.0]
-
Web Services Description
Language (WSDL) 2.0 --
Part 1: Core Language. R. Chinnici, M. Gudgin, J.-J. Moreau, J. Schlimmer, and S. Weerawarana.
W3C Working Draft,
August 3, 2004.
- [WSDL 2.0 Primer]
-
Web Services Description
Language (WSDL) Version 2.0 --
Part 0: Primer. D. Booth, C. Liu, editors.
W3C Working Draft,
21 December 2004.
- [WS-Choreography]
- Web Services
Choreography Description Language Version 1.0. N. Kavantzas, D. Burdett, et. al., editors. W3C
Working Draft, December 17,
2004.
- [XSLT]
- XSL Transformations (XSLT) Version
1.0. J. Clark, editor. W3C
Recommendation, 16 November 1999.
- [XQuery 1.0]
- XQuery 1.0: An XML Query
Language. S. Boag, D. Chamberlin, et al, editors.
W3C Working Draft 04 April 2005.
- [Yang02]
- Well-Founded Optimism: Inheritance in Frame-Based
Knowledge Bases. G. Yang, M. Kifer. Intl. Conference on
Ontologies, DataBases, and Applications of Semantics for Large Scale
Information Systems (ODBASE), October 2002.
- [Yang03]
- Reasoning about Anonymous Resources and Meta Statements
on the Semantic Web. G. Yang, M. Kifer. Journal on Data
Semantics, Lecture Notes in Computer Science 2800, Springer Verlag,
September 2003, 69-98.
- [Yang04]
- FLORA-2 User's
Manual. G. Yang, M. Kifer, C. Zhao, V. Chowdhary. 2004.