Abstract: In one aspect, the invention provides a digital data processing system for information storage and retrieval that includes a first digital data processor (e.g., personal computer, workstation, server, mainframe, etc.) coupled to a second digital data processor and a data store (e.g., a RDF data store, relational database, etc.). The first digital data processor creates, reads, updates and/or deletes data from the data store (i.e., “CRUD” operations) based on a model generated by the first digital data processor. The model comprises an ontology and a set of constraints that are applied to data characterized by the ontology.

Abstract: In one aspect, the invention provides a digital data processing system for information storage and retrieval that includes a first digital data processor (e.g., personal computer, workstation, server, mainframe, etc.) coupled to a second digital data processor and a data store (e.g., a RDF data store, relational database, etc.). The first digital data processor creates, reads, updates and/or deletes data from the data store (i.e., “CRUD” operations) based on a model generated by the first digital data processor. The model comprises an ontology and a set of constraints that are applied to data characterized by the ontology.

Abstract: In one aspect, the invention provides a digital data processing system for information storage and retrieval that includes a first digital data processor (e.g., personal computer, workstation, server, mainframe, etc.) coupled to a second digital data processor and a data store (e.g., a RDF data store, relational database, etc.). The first digital data processor creates, reads, updates and/or deletes data from the data store (i.e., “CRUD” operations) based on a model generated by the first digital data processor. The model comprises an ontology and a set of constraints that are applied to data characterized by the ontology.

Abstract: A method is disclosed that lends itself to efficient incorporation in digital logic networks to enable such networks to automatically test themselves in place. A register is incorporated in the network in such a manner that a data pattern loaded in the register may be input to the network and the resultant outputs of the network may be captured in the same register. The resultant pattern may then be modified and the process repeated a number of times, after which the final pattern is compared with an expected one to verify correct operation of the network.