Primer Glossary

compared with
Version 6 by reneta.popova
on Aug 21, 2014 14:35.

This line was removed.
This word was removed. This word was added.
This line was added.

Changes (2)

View Page History
| {anchor:DATALOG}Datalog | A query and rule language for deductive databases that syntactically is a subset of Prolog. |
| {anchor:DENT}D-entailment | A vocabulary entailment of an RDF graph that respects the 'meaning' of data types. |
| {anchor:DL}Description Logics | A family of formal knowledge representation languages that are subsets of first order logic, but have more efficient decision problems. |
| {anchor:HL}Horn Logic | Broadly means a system of logic whose semantics can be captured by Horn clauses. A Horn clause has at most one positive literal and allows for an IF...THEN interpretation, hence the common term 'Horn Rule'. |
| {anchor:KB}Knowledge Base | (In the Semantic Web sense) is a database of both assertions (ground statements) and an inference system for deducing further knowledge based on the structure of the data and a formal vocabulary. |
| {anchor:OWLH}OWL Horst | An entailment system built upon RDF Schema, see R-entailment. |
| {anchor:PL}Predicate Logic | Generic term for symbolic formal systems like first-order logic, second-order logic, etc. Its formulas may contain variables which can be quantified. |
| {anchor:RDFGM}RDF Graph Model | The interpretation of a collection of RDF triples as a graph, where resources are nodes in the graph and predicates form the arcs betweens nodes. Therefore one statement leads to one arc between two nodes (subject and object). |
| {anchor:RDFS}RDF Schema | A vocabulary description language for RDF with formal semantics. |
| {anchor:RES}Resource | An element of the RDF model that represents a thing that can be described, i.e. a unique name to identify an object or concept. |