API4KB Wiki

api4kb_issues

2014-02-24T12:54:41-04:00

API4KB Issues This page contains a list of issues for the API4KB (Link back to API4KB Main Page) * Issue 1 ... more info here * Issue 2 ... more info here * Issue 3 * Issue 4

api4kb_ontologies

2015-03-10T11:10:25-04:00

Goals * Describe the API4KB metamodel in an OWL ontology, to the extent that it is possible and reasonable to do so, making use of an OWL ontology from the DOL metamodel. Downloads * Master branch * This set of ontologies uses a design pattern where Actions, the atomic operations which are used to specify public operations, may have multiple inputs.

api4kb_parsing

2013-05-20T12:45:45-04:00

APIs for parsing Link to API4KB Main Page * Multiple forms of syntax checking * RDF/XML, Turtle (for RDF/OWL), ? * Validation API * Parser attempts to determine whether or not the resource is valid per the language selected * Parser ensures that input file does not contain invalid characters (the character set is specified in the first line of an XML file)

api4kb_persistent_storage

2013-03-17T16:12:05-04:00

APIs for persistent storage Link to API4KB Main Page * Could be source text * RDF * OWL * ?? * Could be a triple store or other repository * Open * Read * Write * Close * Need to be able to retract facts * Housekeeping * Truth maintenance (may depend on the reasoner)

api4kb_queries

2013-03-17T17:15:11-04:00

APIs for query support Link to API4KB Main Page * Ask, tell ...? queries with side effects? what do you do with inferred knowledge based on the query (post it, not)? * Read-only (boolean - can/can't satisfy, or extract if available) * Read-write API (i.e. with side effects that can update the KB)

api4kb_reasoning

2013-03-17T15:07:06-04:00

APIs for reasoning Link to API4KB Main Page * Check for logical consistency, satisfiability * Check for deductive closure (if appropriate) * Provide basic classification (subsumption, identity reasoning) * Provide / identify inferred facts, and materialized in the knowledge base, indicate which are inferred

api4kb_rules

2012-12-09T15:18:11-04:00

APIs for Rule Engines Link to API4KB Main Page * Need to identify a target set of rule languages and rule types (derivation, reaction (production, ECA, CEP) * Need to determine whether support for machine learning, planning, etc. is in scope long term * Need support for a general rule language interchange (

api4kb_usecases

2013-01-14T11:28:51-04:00

API4KB Use Cases This page contains a list of use cases to be supported by the API4KB (Link back to API4KB Main Page) * Policy-Based Information Exchange * Elisa Placeholder * LegalRuleML * Extend API using a metaobject protocol

api4kb_xacml_processing_model

2012-11-17T14:22:28-04:00

The XACML standard provides a UML interaction diagram of the processing model. The diagram below is a slightly enhanced reproduction. This Link will take you back to the API4KB Main Page

architecture_styles

2015-04-24T10:11:17-04:00

OMG API4KB Distributed Architecture Styles Introduction: Software Communication Software communication requires a message transport, a message protocol, and a destination address. A message transport is the physical means to convey a message. Examples of transport mechanisms include Ethernet, shared memory, and the Peripheral Component Interconnect (PCI) bus. Wi-Fi and Bluetooth are examples of wireless transports.

extend_api_using_a_metaobject_protocol

2013-01-27T14:17:25-04:00

(Link back to API4KB Use Cases Page) Extend API using a metaobject protocol (Roger) Provide users with the ability to extend any initial API using a metaobject protocol. Since the scope of API4KB will span many levels and types of expressibility within a knowledge base, including operations and services specific to each, customized

graph_manipulation

2012-11-25T21:35:14-04:00

====== APIs for graph manipulation ====== [[start|Link to API4KB Main Page]] The terminology and requirements are derived from the CTS2 specification. ===== A note on the terminology used below: ===== * **Graph** - A named collection of assertions. Graphs are assumed to be immutable - if the set of assertions changes in a graph, the graph is given a different name. Graphs implicitly include any logical conclusions that can be drawn from the application of one or more sound, monotonic reason…

legalruleml

2012-12-08T13:58:47-04:00

(Link back to API4KB Use Cases Page) LegalRuleML (Tara) Use Case of a Generic Criminal Legal System with input from () Actors Parties may have agents acting on their behalf, and these agents may be restricted in their access to the KB to some subset of the authority of the Party.

policy-based_information_exchange

2012-12-08T13:59:09-04:00

(Link back to API4KB Use Cases Page) Policy-Based Information Exchange The following use case shows what is necessary to maintain security and privacy when someone (or something) requests access to information:

start

2019-03-14T09:42:02-04:00

API4KB Wiki This WIKI is the work space for assembling responses to the OMG API for Knowledge Bases (API4KB) [RFP] **NEW Specification (Work in progress) NEW** * Standard Specification (Google Docs) * Computable Artifacts and Reference Implementation (GitHub) * Technical Documentation (GitHub pages) Scope The API4KB will define APIs for the following: * Parsing * Reasoning * Persistent Storage * Queries *