Knowledge Systems Laboratory Stanford University The Knowledge Systems Lab (KSL) conducts research in the core Artificial Intelligence areas of knowledge representation and reasoning, within the Department of Computer Science at Stanford University. Current work focuses on design and development of knowledge servers; multi-use ontologies, knowledge bases and knowledge system modules; ...

About Join News Members Events Presentations Members Only Overview TC Process IPR Policy TC Guidelines Liaisons Approved Work Current TC List Access Control Auto Repair Biometrics Business Transactions Conformance Controlled Trade Customer Information Directory Services DocBook ebXML CPPA ebXML Implement ebXML Joint Committee ebXML Messaging ebXML Registry Election Services Entity Resolution ...

Web-Ontology (WebOnt) Working Group Overview: Current Events | Schedule/Milestones | Membership | Charter/History Nearby: www-webont-wg archive | Issues List | test repository | public-webont-comments | SemWeb CG | RDF Core WG | www-rdf-logic | RDF | XML | URI Current Events/Documents Issues List weekly teleconference: Thu 12pET * agenda to the mailing list 24hrs in advance (e.g. 18Jul, 11Jul, ...

Topicmaps.Org is an independent consortium of parties interested in developing the applicability of the Topic Maps Paradigm to the World Wide Web, by leveraging the XML family of specifications as required. This work includes the development of version 1.0 of an XML grammar for interchanging Web-based Topic Maps, called XML Topic Maps (XTM) ...

The Ontology Inference Layer OIL is a proposal for a web-based representation and inference layer for ontologies, which combines the widely used modelling ...

Welcome to Ontoknowledge ...

OpenCyc is the open source version of the Cyc technology, the worlds largest and most complete general knowledge base and commonsense reasonging engine. Cycorp, the builders of Cyc, have set up an independent organization, OpenCyc.org, to disseminate and administer OpenCyc, and have committed to a pipeline through which all current and future Cyc technology will flow into ResearchCyc (available ...

Knowledge Interchange Format (KIF) ANSI KIF draft proposed American National Standard Model Theoretic Semantics in TeX ANSI KIF Ad Hoc Group and Mailing List Members Michael R. Genesereth ...

KR, Inc. Principles of Knowledge Representation and Reasoning, Incorporated is a charitable organization incorporated in the state of Massachusetts of the United States of America concerned with fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a ...

Search IEEE SUO Home IEEE P1600.1 Standard Upper Ontology (SUO) Working Group Description of Target Standard: This standard will specify an upper ontology that will enable computers to utilize it for applications such as data interoperability, information search and retrieval, automated inferencing, and natural language processing. An ontology is similar to a dictionary or glossary, but with ...

Formal Reasoning Group The formal reasoning group focuses on the analysis and development of formal reasoning in artificial intelligence. Members Amir Eyal Buvac Sasa Costello Tom McCarthy John Parmar Aarati Patterson Anna Sierra Josefina Talcott Carolyn Chris Lilly, Administrator FRG Alumni Guha R. V. Related Logical AI Researchers Leora Morgenstern The interests of the group. We participate in ...

FORWISS Forschungsgruppe Entscheidungsunterstutzende Systeme ...

SNePs.

Topicmapmail -- Discussion of ISO/IEC 13250 Topic Maps by and for users and potential users of same. About topicmapmail Discussion about various aspects of topic maps: what they are, how they can be applied. This list covers both technical and non-technical issues and is open to anyone (including newcomers) interested by topic maps in general. To see the collection of prior postings to the list, ...

The home page of the Ontopia Knowledge Suite, a complete software solution for building topic map-driven portals and applications.

SEARCH | ABOUT | INDEX | NEWS | CORE STANDARDS | TECHNOLOGY REPORTS | EVENTS | LIBRARY SEARCH Advanced Search ABOUT Site Map CP RSS Channel Contact Us Sponsoring CP About Our Sponsors NEWS Cover Stories Articles & Papers Clippings Press Releases CORE STANDARDS XML SGML Schemas XSL/XSLT/XPath XLink XML Query CSS SVG TECHNOLOGY REPORTS XML Applications General Apps Government Apps Academic Apps ...

Resources and examples of Topic Maps, Topics at topicmap.com.

Chimaera Home Page.

Topic Maps Bond University Home Home Charter Tutorials Maps local Software Features Deployment Conformance Glossary Resources Research FAQ News 28.12.2001: First preview of AsTMa AsTMa is the query language in the AsTMa language family. There is still a lot of work to do before it can become a decent TMQL proposal. 28.11.2001: Revamp of the AsTMA definition I have added a language definition ...

What is a Knowledge Representation Randall Davis MIT AI Lab Howard Shrobe MIT AI Lab and Symbolics, Inc. Peter Szolovits MIT Lab for Computer Science This paper appeared as R. Davis, H. Shrobe, and P. Szolovits. What is a Knowledge Representation AI Magazine, 14(1):17-33, 1993. A better formatted version is available in postscript. Abstract Although knowledge representation is one of the ...

The Standard Application Model for Topic Maps The Standard Application Model for Topic Maps is a formal data model for topic maps, which will be used to define the topic map syntaxes (XTM and HyTM), and also be the foundation for the query language (TMQL) and the schema language (TMCL). It is more commonly known by its acronym: SAM. Currently, there is a second draft of the SAM, which is firming ...

Knowledge based configurator software provides B2B companies with advanced rule based sales and engineering software for 24 hour online business activity.

The Classic Family of Knowledge Representation Systems Classic is a family of knowledge representation (KR) systems designed for applications where only limited expressive power is necessary, but rapid responses to questions are essential. The Classic systems are based on description logics (DLs), which gives them an object-centered flavor, and thus most of the features available in semantic ...

TMAPI - Common Topic Map Application Programming Interface What is TMAPI TMAPI is a programming interface for accessing and manipulating data held in a topic map. The TMAPI specification defines a set of core interfaces which must be implmented by a compliant application as well as (eventually) a set of additional interfaces which may be implemented by a compliant application or which may be ...

Guided Tour of Ontology John F. Sowa This web page organizes some of the papers on this web site in a systematic reading list. Paper #1 presents a general overview of ontology and ongoing work in developing and applying ontologies to modern computer systems. The remaining papers address more specialized topics. The final paper is a tutorial on the mathematics and logic commonly used in ...

The Enterprise Ontology is a collection of terms and definitions relevant to business enterprises. The ontology was developed in the Enterprise Project by the Artificial Intelligence Applications Institute at the University of Edinburgh with its partners: IBM, Lloyd's Register, Logica UK Limited, and Unilever. The project was ...

XMaster is an easy-to-use expert system shell which runs under Windows 3.1 or higher. It uses an intuitive graphical interface to enable developers to easily build their own expert system.