SRKB Mail by subject
Messages from Wed, 4 May 1994 00:48:11 -0700 to Thu, 25 Jul 1996 12:32:05 +0100
- Welcome to the SRKB working group Tom Gruber
- draft proposal for standard representations workshop Tom Gruber
- notes from Knowledge Representation Standards Workshop Tom Gruber
- frames and logic Tom Gruber
- Function vs Behavior bwilliam@parc.xerox.com
- KR Standards meeting trip report Tom Gruber
- workshop on shared, reusable KBs Tom Gruber
- lunch meeting next week in Miami of Shared KB working group Tom Gruber
- Belated reply to Hovy and Neches ... Mark Tuttle
- dialog on ontology panel Tom Gruber
- updated info on Dunes workshop Tom Gruber
- Position statements to follow Tom Gruber
- Mark Fox position paper Tom Gruber
- Lewis Johnson position paper Tom Gruber
- Jintae Lee and Tom Malone position paper Tom Gruber
- Bruce Porter et al. position paper Tom Gruber
- Bill Mark position paper Tom Gruber
- John Sowa position paper Tom Gruber
- Brian Williams and Danny Bobrow position paper bwilliam@parc.xerox.com
- Mark Tuttle Position Statement ... umls.UUCP!tuttle@mis.ucsf.edu
- KR standards and shared KB workshop Hayes@mcc.com
- The law of standards SOWA@ibm.com
- Email address change sowa@watson.ibm.com
- Paper on consensus knowledge acquisition Randall Davis
- Some thoughts on K.I.F. sowa@watson.ibm.com
- Some thoughts on K.I.F. requirements hewitt@ai.mit.edu
- Generalized quantifiers & distributed KIF sowa@watson.ibm.com
- ANSI X3H4 standards for information interchange sowa@watson.ibm.com
- knowledge representation standards David McAllester
- ANSI X3H4 meetings sowa@watson.ibm.com
- ANSI X3H4 standards meeting sowa@watson.ibm.com
- ANSI X3H4 meeting next week sowa@watson.ibm.com
- Shared ontologies sowa@watson.ibm.com
- Multiple ontologies sowa@watson.ibm.com
- ANSI IRDS Working Paper sowa@watson.ibm.com
- Coalition of logic-based standards efforts sowa@watson.ibm.com
- Languages and metalanguages sowa@watson.ibm.com
- Re: Responses Gio Wiederhold
- ISO IRDS meeting in Tokyo sowa@watson.ibm.com
- KB interchange standards Gio Wiederhold
- Re: KB interchange standards Robert Neches
- FYI re X3H4.6, ANSI IRDS, and ISO Robert Neches
- No restraint on creativity sowa@watson.ibm.com
- Tools to Enable Knowledge Sharing sowa@watson.ibm.com
- seed ontologies jbrad@atc.boeing.com
- SQL and a logic-based standard sowa@watson.ibm.com
- coalition of logic-based standards Roger M. Burkhart
- Supporting SQL, EXPRESS, etc., with a logic-based standard sowa@watson.ibm.com
- Resolution of SQL debate sowa@watson.ibm.com
- Definitions and analytic truth sowa@watson.ibm.com
- Higher-order logic, tractability, and requirements sowa@watson.ibm.com
- Need for standards sowa@watson.ibm.com
- Resolution on common principles sowa@watson.ibm.com
- Report on ANSI X3H4 meeting sowa@watson.ibm.com
- Re: Standards are coming! Standards are coming!! Matthew L. Ginsberg
- Requirements for a standard sowa@watson.ibm.com
- Types vs. monadic relations sowa@watson.ibm.com
- Standards sowa@watson.ibm.com
- Reply to Matt G. sowa@watson.ibm.com
- A few thoughts from the trenches ... Mark Tuttle
- The meaning of "meaning" sowa@watson.ibm.com
- Requirements and objectives sowa@watson.ibm.com
- Points of agreement & disagreement sowa@watson.ibm.com
- Final odds & ends sowa@watson.ibm.com
- Knowledge languages vs. programming languages sowa@watson.ibm.com
- Skuce on Creating and Sharing Ontologies Robert Neches
- new member Gertjan van Heijst
- Conference on Info. and Knowledge Management (CIKM-92) Timothy Finin
- No "natural" ontologies sowa@watson.ibm.com
- another SRKB ontology-building experiment Robert Neches
- IRDS Goals and Requirements sowa@watson.ibm.com
- Common semantic core sowa@watson.ibm.com
- Response to "Common Semantic Core" Message from Sowa Tony Sarris
- Semantic Core and Ontology sowa@watson.ibm.com
- UI design ontology update Robert Neches
- SRKB working group, Phase II Tom Gruber
- special interest working groups within SRKB Tom Gruber
- SRKB subgroup: knowledge sharing for engineering modeling Tom Gruber
- a proposed format for portable ontologies Tom Gruber
- an example ontology Tom Gruber
- MESSAGES OUT OF ORDER Tom Gruber
- some questions and answers about SRKB Tom Gruber
- what does "portable" mean with respect to ontology? Tom Gruber
- Portable ontologies and theories sowa@watson.ibm.com
- ontologies, theories, and primitives Tom Gruber
- Ontologies and theories sowa@watson.ibm.com
- Types, sorts, vocabularies, theories, and ontologies sowa@watson.ibm.com
- Ontology sowa@watson.ibm.com
- Re: Ontology Robert Neches
- Ontolinqua Expressiveness Charles Petrie
- "Theory" Charles Petrie
- Terminology sowa@watson.ibm.com
- Sharing ontologies and softwre sowa@watson.ibm.com
- a simple definition of theory Tom Gruber
- Theories, Axiomatizations, and Contexts sowa@watson.ibm.com
- Peirce's rules of inference for existential graphs sowa@watson.ibm.com
- Peirce's rules of inference sowa@watson.ibm.com
- Re: Bibliography Example Questions Tom Gruber
- Welcome to the new SRKB listserver Peter Aberg
- Contexts sowa@watson.ibm.com
- More about contexts sowa@watson.ibm.com
- Contexts, lifting, and Peirce sowa@watson.ibm.com
- new papers and software Tom Gruber
- FTP address for ontolingua, ontologies, and papers Tom Gruber
- New Paper Available Charles Petrie
- Addition to Knowledge Sharing Papers Charles Petrie
- Update on ANSI and ISO activities sowa@watson.ibm.com
- [planning & scheduling] the first announcement Masahiro HORI
- Request for info Van D. Parunak
- [planning/scheduling] Related projects Masahiro HORI
- New list archive facility Peter Aberg
- Summary of ANSI IRDS and ISO SWG-MF meetings in December sowa@watson.ibm.com
- Collaboration of KIF, SUMM, and CG developers sowa
- Updated Paper in Archives Charles Petrie
- Joint meeting of ANSI X3H4 and X3H7 sowa
- Questions about OO models in logic sowa
- Copy of note to Elizabeth Fong sowa
- [Michael N. Huhns <HUHNS@mcc.com>: Announcement: Catalogue of Charles Petrie
- IJCAI '93 Workshop on Knowledge Sharing and Information Interchange Philippe Gobinet
- Interoperability of O-O languages and databases sowa
- Quantifier syntax in KIF macgregor@isi.edu
- Re: Issues about contexts and quantifiers phayes@cs.uiuc.edu
- Contexts and quantifiers in KIF sowa
- [no subject] Verlyn M Johnson
- Practical effects of all this discussion sowa
- Generic-KB Protocol Peter Karp
- [Scheduling&planning] a report with sample ontologies Masahiro HORI
- CFP on KB&KS Conf. Riichiro MIZOGUCHI
- [To: petrie: [Bernd Bachmann: semantic unification for conceptual graphs]] Charles Petrie
- ANSI and ISO standards activities sowa
- changes to Knowledge Sharing ftp library Tom Gruber
- Re: semantic unification Charles Petrie
- ontologies library open for business Tom Gruber
- updated knowledge sharing specs Tom Gruber
- some Q&A on the Sisyphus (configuration design) experiment Tom Gruber
- "Graphical" Ontolingua? Fano Ramparany
- CFP of The 1st International Symposium on Research into Artifacts Riichiro MIZOGUCHI
- C++ KIF Parser olsen@cs.stanford.edu
- Cognitive and Ontological Foundations of Knowledge Engineering Nicola Guarino
- CFP: conference on software reuse Tom Gruber
- ECAI workshop on Parts and Wholes Nicola Guarino
- ANSI and ISO activities sowa
- announcing the Knowledge Sharing library on the WWWeb Tom Gruber
- Which ontologies; how to compare them Fritz Lehmann
- Classifying Ontologies Fritz Lehmann
- CIKM-94: 3rd Conf on Info and Knowledge Mgmt, (papers due May 1) Timothy Finin
- Metadata Workshop Timothy Finin
- SRKB list back to life! Tom Gruber
- overview of SRKB Tom Gruber
- Workshop at AI&Design'94 on Shared Ontologies Tom Gruber
- Topology for Philosophers BARRY SMITH
- Re: propositions phayes@cs.uiuc.edu
- report on Very Large KB conference Tom Gruber
- Re: WWW space needs a card catalog for navigation... Fritz Lehmann
- Is this SRKB List active and working? Fritz Lehmann
- Graphic/Representation Artifacts Fritz Lehmann
- SRKB List Admin. Fritz Lehmann
- merging ontologies: a thread Tom Gruber
- Replies: Combining Ontologies Fritz Lehmann
- PEIRCE CCAT needs coordinator Fritz Lehmann
- RE: pun in ontolingua KB Tom Gruber
- GIS Ontology -- FGDC Approves Metadata Standard Timothy Finin
- Re: Catalogues for WWW Fritz Lehmann
- Proposed standards for KIF and CGs John F. Sowa
- Re: info on Doug Lenat Fritz Lehmann
- Re: How do I learn to represent knowledge? Fritz Lehmann
- Re: The "Minsky bottleneck" ...and a solution? Fritz Lehmann
- Call for Papers KB&KS'95 Paul van der Vet
- CFP: Workshop on Intelligent Information Agents, at CIKM-94 12/2/94 Timothy Finin
- Re: [Q]: ontologies examples & definition(s) ? Fritz Lehmann
- KIF and CYC's EL Fritz Lehmann
- SQL, C++, and Hell John F. Sowa
- EDI with real semantics Fritz Lehmann
- Re: Other mailing lists? Fritz Lehmann
- Schema-to-schema mapping; STEP Fritz Lehmann
- [no subject] genesereth@cs.stanford.edu (Michael R. Genesereth) (by way of Tom Gruber
- new release of ontolingua Tom Gruber
- new release of ontology library Tom Gruber
- CFP: 1st Int. Conference on Multiagent Systems - ICMAS '95 Timothy Finin
- [no subject] Benny=Corvers%GST%LW@cc3.kuleuven.ac.be
- Results of ISO CSMF Mtg. in Southampton, UK Anthony K. Sarris
- standardization of semantics Matthew L. Ginsberg
- Ginsberg's note Anthony K. Sarris
- ANSI standards & knowledge representation Matthew L. Ginsberg
- ANSI standards and knowledge representation Matthew L. Ginsberg
- Abstract syntax John F. Sowa
- Re: Classification Systems? Fritz Lehmann
- Re: Determinates and determinables - summary Fritz Lehmann
- Re: WFAQ META: Meta-stories Fritz Lehmann
- CCAT Conceptual Catalogue and Ontologies Fritz Lehmann
- CCAT and ADEPT's ontologies Mark Johnson
- International STANDARD FOR LOGIC: CSMF/CG/KIF Fritz Lehmann
- Re: INTERNATIONAL STANDARD FOR LOGIC: CSMF Fritz Lehmann
- Int. Standard for Logical CSMFs Fritz Lehmann
- Difference between logics and theories John F. Sowa
- "Contexts: logic-order for the CSMF standard" Fritz Lehmann
- CCAT Ontologies NEWS Fritz Lehmann
- Wrong level of abstraction in example Fritz Lehmann
- Re: CCAT Fritz Lehmann
- There is no CCAT mailing list Fritz Lehmann
- Frames are (almost) enough for EDI Fritz Lehmann
- Ontology for EDI (was Frames...) Fritz Lehmann
- FOL forces you too Fritz Lehmann
- _Pure_ graphs have genuine value Fritz Lehmann
- Re: ER schemas and ontologies Fritz Lehmann
- Knowledge Representation Problem John F. Sowa
- Ontological EDI & Wittgenstein Fritz Lehmann
- Re: CCAT: TIME and STATE Fritz Lehmann
- passing the helm Tom Gruber
- CCAT: TIME mission & tenses Fritz Lehmann
- CCAT: OBJ/EVENT/PROC:Deadlines and STATE Fritz Lehmann
- CCAT: TIME: Fantasyland?/Various issues Fritz Lehmann
- Modelling and Methodologies for Enterprise Integration Tim.Finin@cs.umbc.edu
- CFP: Modelling Languages for KBS willems@cs.vu.nl
- CfP (final) Very Large Knowledge Bases Paul van der Vet
- Shared, Reusable KB's Maili Sanjay Verma
- CCAT: General Update Fritz Lehmann
- CCAT: TIME: All is well Fritz Lehmann
- CCAT: OBJECT/EVENT/PROCESS: Needs work Fritz Lehmann
- CCAT relevant to learning? Fritz Lehmann
- basis for CCAT ontologies Fritz Lehmann
- representing patterns and structures Bill Brayman
- CCAT: EMOTIONS Fritz Lehmann
- ADL'95 Advances in Digital Libraries Timothy Finin
- AAAI FALL SYMOPOSIUM ON FORMALIZING CONTEXT Sasa Buvac
- what-is-an-ontology Tom Gruber
- Re: Ontology-based EDI Fritz Lehmann
- Rough Sets, CCAT SPACE ontology and STEP Fritz Lehmann
- Re: The semantics of new-edi Fritz Lehmann
- [no subject] Doug Skuce
- Some questions (and a new ontology) Andre Valente
- regulations@cs.stanford.edu Michael R. Genesereth
- [scoleman@llnl.gov (Sam Coleman): Entry from Commerce Business
Daily] Peter Karp
- Word meanings Richard Fikes
- Query: Status of KIF-related standards efforts Daniel D Suthers
- School in Spatial Reasoning Oliviero Stock
- medical ontologies ? Eliana Coelho
- Applications of KQML Jianxin Li
- Re Ref.s for combining ontologies/thesauri/KRep Fritz Lehmann
- Re: Medical ontologies? Sabina Falasconi
- Re: REA as a universal business model Fritz Lehmann
- Yet another Ref.s:combining ontologies/thesauri/KRep Joaquin A. Delgado R.
- Ontologies (CCAT or otherwise) for Science, Argumentation Daniel D Suthers
- Re: Connectedness & Togetherness Nicola Guarino
- Medical ontologies paper Sabina Falasconi
- [no subject] Michael Gruninger
- Re: truth Fritz Lehmann
- The above should be "sign-relations" rather than "truth" Fritz Lehmann
- Intelligent Agents: New Book Announcement (fwd) Timothy Finin
- Organisation Ontology Mark S. Fox
- WWW Ontology Editor (Beta Release) -- Check it out! Adam Farquhar
- Ontology editor - non-user survey James Rice
- ...only fools and Rices... James Rice
- Meeting on the Interconnection of Biological Databases Peter Karp
- Society and the Future of Computing conference announcement Richard Light
- Announcement: Creation of ANSI KIF Ad Hoc Group Vishal I. Sikka
- KIF AHG Formation: A Correction Vishal I. Sikka
- [no subject] Doug Skuce
- Architecture and Case Based Reasoning hernan casakin
- MIMBD 95: New date for submissions Victor Markowitz
- Call for MIMBD Submissions / March 24 Deadline Victor Markowitz
- mailing list Michael Green
- Re: Storing Names Internationally Fritz Lehmann
- Re: names Fritz Lehmann
- information Brigitte Hoeltzener-Douarin
- Q: KIF Latest Report huarng
- Summer Intern Positions Don McKay
- Automatic info model integration - can you donate your info models? Mark Johnson
- COMMON SENSE 96 Sasa Buvac
- registration for mailing list Helmi Dreijer
- CFP KEML'96 Christine Pierret
- Contexts and views John F. Sowa
- representation-relations in ontologies Fritz Lehmann
- Re: do you know of Fritz Lehmann
- Re: The sign relation Fritz Lehmann
- Re: Doug Lenat's THE BIG PICTURE Eduard Hovy
- X3T2 and KIF Michael R. Genesereth
- Implemented ontologies Nicolaas Mars
- Re: THE BIG PICTURE John F. Sowa
- Good and Bad IS-A hierarchies Fritz Lehmann
- Re: Ontologies John Thompson
- Re: Doug Lenat's THE BIG PICTURE Edward Feigenbaum
- Pangloss Ontology Sam Hunting
- Ontology content Mark S. Fox
- All agreed, but what's out there now? Fritz Lehmann
- SGML and CG's Bill Rich
- Common ontologies Patrick Cassidy
- Montreal Conferene Sam Hunting
- Proc. Int. Workshop on Formal Ontology Etc. Albert C. Esterline
- The TPTP problem library is now available in KIF. Vishal I. Sikka
- Bulding a Knowledge-Level 3D Shape Ontology Joaquin.A.Delgado
- Basic Semantic Repository & ISO 11179 & Z39.50 ? Fritz Lehmann
- clarifying clarifying ontologies Doug Skuce
- Axioms vs. Ontologies?! Nicola Guarino
- Basic Semantic Repository & ISO 11179 & ANSI X3L8 Metamodel m p hawes
- RE: Basic Semantic Repository & ISO 11179 & ANSI X3L8 Metamodel ksteel@cs.mu.oz.au
- ISO 11179; Basic Semantic Repository; Z39.50/STAS Fritz Lehmann
- RE: ISO 11179; Basic Semantic Repository; Z39.50/STAS ksteel@cs.mu.oz.au
- RE: ISO 11179; Basic Semantic Repository Hill, Denis
- Source for ISO 11179 Data standard Fritz Lehmann
- HyTime Conference Steven R. Newcomb
- Re: Transaction models; ontological "tools" Fritz Lehmann
- Re: 11179-2 Classification Fritz Lehmann
- real ontologies as emergent phenomena Steven R. Newcomb
- CFP: FLAIRS '96 Track on Information Interchange Sy Ali
- Informations to ontologies Joachim Duetz
- CIKM Intelligent Information Agents Workshop, Call for Papers Timothy Finin
- [no subject] ted
- ontology workshop proceedings Doug Skuce
- [no subject] ted
- Roles, again Nicola Guarino
- More roles Patrick Cassidy
- CFP Domain Knowledge for Interactive System Design Call for Papers Timothy Finin
- CIKM-95 Workshop on Intelligent Information Agents. Papers due 9/22 Timothy Finin
- Roles and dependence Nicola Guarino
- ECAI-96: CALL FOR WORKSHOP PROPOSALS Elisabeth Andre
- continuation of ALL-ICEIMT list Peter Bernus
- Industrially Relevant Ontology Projects -- Request for Summaries mudcat@ie.utoronto.ca
- Re: Industrially Relevant Ontology Projects -- Request for Summaries Pat Hayes
- What's new? See <http://www.cs.umbc.edu/agents/news/> Timothy Finin
- On the definition of "ontology" Nicola Guarino
- 2nd CFP: FLAIRS '96 Track on Information Interchange Sy Ali
- A simplistic definition of "ontology" Eduard Hovy
- First IEEE Metadata Conference CFP Timothy Finin
- ontological categories Pat Hayes
- Deadline Extended: FLAIRS '96 Track on Information Interchange Sy Ali
- ANSI KIF, CGs, & Ontologies John F. Sowa
- CIKM'95 Workshop on Intelligent Information Agents Timothy Finin
- CfP ECAI96 Workshop Ontological Engineering Paul van der Vet
- announcing AgentNews mailing list Timothy Finin
- CFP: Detecting and Preventing Miscommunication Dr. Susan McRoy
- CFP: Detecting and Preventing Miscommunication (Due Mar 18) Dr. Susan McRoy
- AMTA-96 Conference, Montreal, October 2-5, 1996 Eduard Hovy
- Please add me to your mailing list Bonnie Lowell
- CfP: Agent Theories, Architectures, and Languages (3rd Int W'shop) Michael Wooldridge
- New literature on ontology and mereology Nicola Guarino
- Re: Availability of the ANSI standard proposal? Fritz Lehmann
- Converses (Re: Availability of the ANSI standard proposal?) Robert MacGregor
- canonical ordering (Re: Converses?) Bill Brayman
- CFP: Ws on Product Knowledge Sharing for Integrated Enterprises Nicola Guarino
- What is an ontology - nice description. Nicola Guarino
- Job Opening Patricia Riddle
- Extended deadline Lucja Iwanska
- Description Logics 96 - Call for Papers Enrico Franconi
- Welcome to agentnews-url majordomo@cs.umbc.edu
- AgentNews v1n6, 5/11/96 -- http://www.cs.umbc.edu/agentnews/96/06/ Timothy Finin
- opening for post-doctoral fellow Mitsuru IKEDA
- Re: AgentNews v1n6, 5/11/96 -- Peter Gorny
- Description logics workshop - CFP Lin Padgham
- Research topic? Li Hui-Feng
- How to build ontologies Mike Uschold
- KBCS-96 (2nd CFP) Deadline Extended KBCS Word Processing
- Knowldege-Level Modelling Glossary: Request for Feedback Mike Uschold
- JOB POSTING: Software Agents R&D at Boeing Jeffrey M. Bradshaw
- CFP ETCE-97 Susan Haller
- Call for Papers Manufacturing System Design '97 Heiko Gsell
- CFP: 7th Workshop on KNOWLEDGE ENGINEERING: METHODS & LANGUAGES (KEML
97) Enrico Motta
Last message date: Thu, 25 Jul 1996 12:32:05 +0100