default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter F. Patel-Schneider
Person information
- affiliation: Bell Labs
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i7]Ege Atacan Dogan, Peter F. Patel-Schneider:
Disjointness Violations in Wikidata. CoRR abs/2410.13707 (2024)- 2023
- [c81]Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. Description Logics 2023 - 2020
- [c80]Peter F. Patel-Schneider, David L. Martin:
Wikidata on MARS (Preliminary Report). Description Logics 2020 - [c79]David L. Martin, Peter F. Patel-Schneider:
Wikidata Constraints on MARS. Wikidata@ISWC 2020 - [i6]David L. Martin, Peter F. Patel-Schneider:
Wikidata Constraints on MARS (Extended Technical Report). CoRR abs/2008.03900 (2020) - [i5]Peter F. Patel-Schneider, David L. Martin:
Wikidata on MARS. CoRR abs/2008.06599 (2020)
2010 – 2019
- 2018
- [c78]Ankur Padia, David L. Martin, Peter F. Patel-Schneider:
Automating Class/Instance Representational Choices in Knowledge Bases. EKAW 2018: 273-288 - [c77]Peter F. Patel-Schneider, Axel Polleres, David L. Martin:
Comparative Preferences in SPARQL. EKAW 2018: 289-305 - [c76]Peter F. Patel-Schneider, Axel Polleres, David L. Martin:
Fixing Comparative Preferences for SPARQL. ISWC (P&D/Industry/BlueSky) 2018 - [c75]Peter F. Patel-Schneider:
Contextualization via Qualifiers. CKGSemStats@ISWC 2018 - 2017
- [i4]Peter F. Patel-Schneider:
ASHACL: Alternative Shapes Constraint Language. CoRR abs/1702.01795 (2017) - 2016
- [c74]Peter F. Patel-Schneider, David L. Martin:
EXISTStential Aspects of SPARQL. ISWC (Posters & Demos) 2016 - 2015
- [j32]Peter Z. Yeh, Deepak Ramachandran, Benjamin Douglas, Adwait Ratnaparkhi, William Jarrold, Ronald Provine, Peter F. Patel-Schneider, Stephen Laverty, Nirvana Tikku, Sean Brown, Jeremy Mendel, Adam Emfield:
An End-to-End Conversational Second Screen Application for TV Program Discovery. AI Mag. 36(3): 73-89 (2015) - [c73]Peter F. Patel-Schneider:
Using Description Logics for RDF Constraint Checking and Closed-World Recognition. AAAI 2015: 247-253 - [c72]Jan Nößner, David L. Martin, Peter Z. Yeh, Peter F. Patel-Schneider:
CogMap: A Cognitive Support Approach to Property and Instance Alignment. ISWC (1) 2015: 269-285 - 2014
- [c71]Peter Z. Yeh, Benjamin Douglas, William Jarrold, Adwait Ratnaparkhi, Deepak Ramachandran, Peter F. Patel-Schneider, Stephen Laverty, Nirvana Tikku, Sean Brown, Jeremy Mendel:
A Speech-Driven Second Screen Application for TV Program Discovery. AAAI 2014: 3010-3016 - [c70]Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh:
Ontologies in Enterprise Application: Dimensional Comparison. FOMI@FOIS 2014 - [c69]Peter F. Patel-Schneider:
Analyzing Schema.org. ISWC (1) 2014: 261-276 - [i3]Peter F. Patel-Schneider:
Using Description Logics for RDF Constraint Checking and Closed-World Recognition. CoRR abs/1411.4156 (2014) - 2013
- [c68]Peter F. Patel-Schneider, Patrick J. Hayes:
Finite Models in RDF(S), with Datatypes. ISWC (Posters & Demos) 2013: 233-236 - 2012
- [j31]Peter F. Patel-Schneider:
Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce". J. Web Semant. 15: 69-70 (2012) - [c67]Peter F. Patel-Schneider:
Challenges in the Core of Ontology Support Systems. KDIR 2012 - [c66]Peter F. Patel-Schneider:
Reasoning in RDFS is Inherently Serial, At Least in The Worst Case. ISWC (Posters & Demos) 2012 - [c65]Peter F. Patel-Schneider, Enrico Franconi:
Ontology Constraints in Incomplete and Complete Data. ISWC (1) 2012: 444-459 - [c64]Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Stefan Bischof
:
An Empirical Analysis of Semantic Techniques Applied to a Network Management Classification Problem. Web Intelligence 2012: 90-96 - 2011
- [c63]Alan Jeffrey, Peter F. Patel-Schneider:
Integrity Constraints for Linked Data. Description Logics 2011 - [c62]Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney:
Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques. OWLED 2011 - [c61]Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney:
A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data. RR 2011: 238-243 - [c60]Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Aidan Boran, Benjamin Nguyen:
Transforming XML Schema to OWL Using Patterns. ICSC 2011: 102-109 - [c59]John Keeney, Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider:
Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources. Web Intelligence 2011: 170-177 - [e11]Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider:
Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures. Lecture Notes in Computer Science 6848, Springer 2011, ISBN 978-3-642-23031-8 [contents] - [r1]Ian Horrocks, Peter F. Patel-Schneider:
KR and Reasoning on the Semantic Web: OWL. Handbook of Semantic Web Technologies 2011: 365-398 - [i2]Peter F. Patel-Schneider, Roberto Sebastiani:
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. CoRR abs/1106.5261 (2011) - 2010
- [e10]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6496, Springer 2010, ISBN 978-3-642-17745-3 [contents] - [e9]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II. Lecture Notes in Computer Science 6497, Springer 2010, ISBN 978-3-642-17748-4 [contents]
2000 – 2009
- 2009
- [c58]Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider:
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Conceptual Modeling: Foundations and Applications 2009: 436-465 - [c57]Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider:
A Syntax for Rules in OWL 2. OWLED 2009 - [e8]Kendall Clark, Peter F. Patel-Schneider:
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008. CEUR Workshop Proceedings 496, CEUR-WS.org 2009 [contents] - [e7]Rinke Hoekstra, Peter F. Patel-Schneider:
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009. CEUR Workshop Proceedings 529, CEUR-WS.org 2009 [contents] - 2008
- [j30]Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
OWL 2: The next step for OWL. J. Web Semant. 6(4): 309-322 (2008) - [c56]Matthew Horridge, Peter F. Patel-Schneider:
Manchester Syntax for OWL 1.1. OWLED (Spring) 2008 - [c55]Peter F. Patel-Schneider:
Safe Rules for OWL 1.1 (Statement of Interest). OWLED (Spring) 2008 - 2007
- [j29]Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. 39(3): 277-316 (2007) - [j28]Peter F. Patel-Schneider:
Book Review. J. Log. Lang. Inf. 16(3): 357-359 (2007) - [j27]Peter F. Patel-Schneider, Ian Horrocks:
A comparison of two modelling paradigms in the Semantic Web. J. Web Semant. 5(4): 240-250 (2007) - [e6]Carey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, Prashant J. Shenoy:
Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007. ACM 2007, ISBN 978-1-59593-654-7 [contents] - 2006
- [c54]Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner:
DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. OWLED 2006 - [c53]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
Next Steps for OWL. OWLED 2006 - [c52]Peter F. Patel-Schneider, Ian Horrocks:
Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12 - [e5]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider:
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005. CEUR Workshop Proceedings 188, CEUR-WS.org 2006 [contents] - 2005
- [j26]Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas:
Improving User Experience through Rule-based Service Customization. Int. J. Cooperative Inf. Syst. 14(4): 469-502 (2005) - [j25]Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov:
OWL rules: A proposal and prototype implementation. J. Web Semant. 3(1): 23-40 (2005) - [c51]Peter F. Patel-Schneider:
Building the Semantic Web Tower from RDF Straw. IJCAI 2005: 546-551 - [c50]Peter F. Patel-Schneider:
A Revised Architecture for Semantic Web Reasoning. PPSWR 2005: 32-36 - [c49]Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler:
Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41 - [c48]Peter F. Patel-Schneider:
Requirements and Non-Requirements for a Semantic Web Rule Language. Rule Languages for Interoperability 2005 - 2004
- [j24]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL entailment to description logic satisfiability. J. Web Semant. 1(4): 345-357 (2004) - [j23]Peter F. Patel-Schneider, Steffen Staab:
World Wide Web Conference 2004 - Semantic Web Track. J. Web Semant. 2(2): 107 (2004) - [c47]Peter F. Patel-Schneider:
The Semantic Web and Knowledge Representation. ENC 2004: 7 - [c46]Peter F. Patel-Schneider:
What Is OWL (and Why Should I Care)? KR 2004: 735-737 - [c45]Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas:
Enabling Context-Aware and Privacy-Conscious User Data Sharing. Mobile Data Management 2004: 187-198 - [c44]Bijan Parsia, Peter F. Patel-Schneider:
Meaning and the semantic web. WWW (Alternate Track Papers & Posters) 2004: 306-307 - [c43]Ian Horrocks, Peter F. Patel-Schneider:
A proposal for an owl rules language. WWW 2004: 723-731 - 2003
- [j22]Peter F. Patel-Schneider, Roberto Sebastiani:
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. J. Artif. Intell. Res. 18: 351-389 (2003) - [j21]Peter F. Patel-Schneider, Jérôme Siméon:
The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. IEEE Trans. Knowl. Data Eng. 15(4): 797-812 (2003) - [j20]Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen:
From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Semant. 1(1): 7-26 (2003) - [c42]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003 - [c41]Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas:
"Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization. ICSOC 2003: 149-164 - [c40]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfiability. ISWC 2003: 17-29 - [c39]Ian Horrocks, Peter F. Patel-Schneider:
Three theses of representation in the semantic web. WWW 2003: 39-47 - [c38]Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas:
Rule-based Service Customization via Houdini. WWW (Posters) 2003 - [p2]Deborah L. McGuinness, Peter F. Patel-Schneider:
From Description Logic Provers to Knowledge Representation Systems. Description Logic Handbook 2003: 265-281 - [e4]Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider:
The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, ISBN 0-521-78176-0 [contents] - 2002
- [j19]Ian Horrocks, Peter F. Patel-Schneider:
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reason. 28(2): 173-204 (2002) - [j18]Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak:
R++: Adding Path-Based Rules to C++. IEEE Trans. Knowl. Data Eng. 14(3): 638-658 (2002) - [c37]Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen:
Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI 2002: 792-797 - [c36]Peter F. Patel-Schneider:
Two Proposals for a Semantic Web Ontology Language. Description Logics 2002 - [c35]Peter F. Patel-Schneider, Dieter Fensel:
Layering the Semantic Web: Problems and Directions. ISWC 2002: 16-29 - [c34]Peter F. Patel-Schneider, Jérôme Siméon:
Building the Semantic Web on XML. ISWC 2002: 147-161 - [c33]Peter F. Patel-Schneider, Jérôme Siméon:
The Yin/Yang web: XML syntax and RDF semantics. WWW 2002: 443-453 - 2001
- [j17]Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider:
OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intell. Syst. 16(2): 38-45 (2001) - [c32]Peter F. Patel-Schneider, Roberto Sebastiani:
A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001: 464-468 - [c31]Ian Horrocks, Peter F. Patel-Schneider:
The Generation of DAML+OIL. Description Logics 2001 - [e3]Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider:
Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. CEUR Workshop Proceedings 49, CEUR-WS.org 2001 [contents] - 2000
- [j16]Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani:
An Analysis of Empirical Testing for Modal Decision Procedures. Log. J. IGPL 8(3): 293-323 (2000) - [c30]Peter F. Patel-Schneider:
System Description: DLP. CADE 2000: 297-301 - [c29]Peter F. Patel-Schneider:
What's New in DLP. Description Logics 2000: 227-235 - [c28]Peter F. Patel-Schneider:
TANCS-2000 Results for DLP. TABLEAUX 2000: 72-76
1990 – 1999
- 1999
- [j15]Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Alexander Borgida:
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artif. Intell. 114(1-2): 203-237 (1999) - [j14]Peter F. Patel-Schneider:
Review of One Jump Ahead: Challenging Human Supremacy in Checkers. AI Mag. 20(1): 138-139 (1999) - [j13]Peter F. Patel-Schneider, Marie-Christine Rousset:
Editorial: Special Issue on Description Logics. J. Log. Comput. 9(3): 265-266 (1999) - [j12]Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999) - [j11]Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty:
Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999) - [c27]Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris:
A Proposal for a Description Logic Interface. Description Logics 1999 - [c26]Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider:
Explaining ALC Subsumption. Description Logics 1999 - [c25]Ian Horrocks, Peter F. Patel-Schneider:
Performance of DLP on Random Modal Formulae. Description Logics 1999 - [c24]Peter F. Patel-Schneider:
Systems Comparison. Description Logics 1999 - [c23]Peter F. Patel-Schneider:
DLP. Description Logics 1999 - [c22]Peter F. Patel-Schneider, Ian Horrocks:
DLP and FaCT. TABLEAUX 1999: 19-23 - [e2]Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider:
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999. CEUR Workshop Proceedings 22, CEUR-WS.org 1999 [contents] - 1998
- [j10]Deborah L. McGuinness, Charles L. Isbell Jr., Matt Parker, Peter F. Patel-Schneider, Lori Alperin Resnick, Christopher A. Welty:
A description logic-based configurator on the web. SIGART Bull. 9(2): 20-22 (1998) - [c21]Deborah L. McGuinness, Peter F. Patel-Schneider:
Usability Issues in Knowledge Representation Systems. AAAI/IAAI 1998: 608-614 - [c20]Ian Horrocks, Peter F. Patel-Schneider:
Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246 - [c19]Ian Horrocks, Peter F. Patel-Schneider:
DL Systems Comparison (Summary Relation). Description Logics 1998 - [c18]Ian Horrocks, Peter F. Patel-Schneider:
Comparing Subsumption Optimizations. Description Logics 1998 - [c17]Peter F. Patel-Schneider:
DLP. Description Logics 1998 - [c16]Peter F. Patel-Schneider:
NeoClassic. Description Logics 1998 - [c15]Peter F. Patel-Schneider:
DLP System Description. Description Logics 1998 - [c14]Ian Horrocks, Peter F. Patel-Schneider:
FaCT and DLP. TABLEAUX 1998: 27-30 - 1997
- [c13]Deborah L. McGuinness, Peter F. Patel-Schneider:
Usability Issues in DL Systems. Description Logics 1997 - [c12]Peter F. Patel-Schneider:
Preliminary Investigations into Interactive Classification in DL. Description Logics 1997 - [c11]Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider:
Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. OOPSLA 1997: 77-92 - 1996
- [c10]James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider:
Path-Based Rules in Object-Oriented Programming. AAAI/IAAI, Vol. 1 1996: 490-497 - [e1]Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider:
Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA. AAAI Technical Report WS-96-05, AAAI Press 1996, ISBN 1-57735-014-6 [contents] - 1995
- [c9]James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider:
Device Representation and Reasoning with Affective Relations. IJCAI 1995: 1814-1820 - 1994
- [j9]Alexander Borgida, Peter F. Patel-Schneider:
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. Artif. Intell. Res. 1: 277-308 (1994) - [i1]Alexander Borgida, Peter F. Patel-Schneider:
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. CoRR abs/cs/9406101 (1994) - 1992
- [c8]Peter F. Patel-Schneider:
Defaults and Descriptions. Description Logics 1992: 72-73 - [c7]Peter F. Patel-Schneider:
Partial Reasoning in Knowledge Representation Systems Based on Description Logics. Description Logics 1992: 74-75 - [c6]Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick:
The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. FGCS 1992: 1036-1043 - [c5]Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches:
The DARPA Knowledge Sharing Effort: A Progress Report. KR 1992: 777-788 - 1991
- [j8]Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida:
The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bull. 2(3): 108-113 (1991) - [c4]