Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
41 Cards in this Set
- Front
- Back
ontology
|
A formal specification of some domain of interest.
|
|
classes
|
A class is a collection of things with similar properties.
|
|
properties
|
na
|
|
subclass/superclass
|
A basic relationship between classes in ontology frameworks: if A is a subclass of B, then A typically inherits all the properties of B.
|
|
class subsumption
|
If A is a subclass of B, we often say that B subsumes A.
|
|
axioms
|
The basic logical 'givens' in a logical theory.
|
|
knowledge base
|
An ontology together with some instances.
|
|
controlled vocabulary
|
A simple kind of informal ontology, in which certain terms are reserved for certain purposes.
|
|
value restrictions
|
In ontology languages, value restrictions place limits on the values that can be taken by attributes.
|
|
upper ontology
|
A very general high-level ontology - typically includes classes like 'Thing'.
|
|
domain ontology
|
An ontology relating specifically to an application domain.
|
|
application ontology
|
An ontology whose domain is a specific application area, rather than attempting to capture general knowledge about the environment.
|
|
ad hoc ontologies
|
An ontology constructed without a formal basis or semantics: often constructed using, for example, XML.
|
|
XML
|
The eXtensible Markup Language - a kind of cut down version of SGML, allowing web users to define new tags for their applications in a structured way.
|
|
markup
|
In SGML-related web standards (HTML, XML, ...), markup refers to the tags used to indicate how web content should be formatted.
|
|
DTD
|
Document Type Definition: in SGML and XML, the definition of a set of tags and document structure.
|
|
SGML
|
Standard Generalized Markup Language - an international standard for defining structured documents; HTML is defined using SGML, and XML can be thought of as a cut-down version of HTML.
|
|
OWL Lite
|
A comparatively weak fragment of the OWL ontology language.
|
|
OWL DL
|
A variant of the OWL ontology language, corresponding ti a particular fragment of description logic.
|
|
OWL Full
|
An expresive variant of the OWL ontology language.
|
|
description logic
|
A knowledge representation formalism underpinning ontology languages such as OWL.
|
|
concrete/abstract syntax
|
In ontology languages, the distinction between the actual language used to represent an ontology for processing by computer, and the language used to represent it typically for reading by people.
|
|
inverse property
|
na
|
|
TBox
|
In ontology systems, the TBox is the terminological box, typically defining the classes of the ontology and their relationships.
|
|
ABox
|
The 'assertion box' in a description logic system: think of it as a set of facts, as distinct from axioms.
|
|
consistency checking
|
na
|
|
concept satisfiability
|
In description logic, the problem of checking whether it is possible for a class/concept to have any instances.
|
|
class subsumption
|
na
|
|
least common subsumer
|
The most specific ancestor class in an ontology.
|
|
instance classification
|
In ontology systems, the idea of taking some entity, whose properties are partially known, and classifying this entity, e.g., identifying the most specific class to which this entity belongs.
|
|
KIF
|
The Knowledge Interchange Format - essentially, a standardized version of first-order logic, used for defining both ontologies and message content.
|
|
RDF
|
The Resource Definition Framework - a simple knowledge representation language intended for representing knowledge about web resources - based on semantic networks.
|
|
RDF Triples
|
The basic data structure in RDF, containing a subject, predicate, and object.
|
|
resources
|
na
|
|
blank node
|
In RDF, a blank node is a technical trick used to represent information that cannot be directly represented.
|
|
namespace
|
In ontology languages, the scope of a defined vocabulary.
|
|
ontology reuse
|
The idea of being able to reuse ontologies for multiple applications.
|
|
top-down refinement
|
A classic development methodology for software development, well suited to developing functional programs.
|
|
bottom-up refinement
|
na
|
|
intrinsic properties
|
Intrinsic properties are those that relate to the nature of an object - for example, they may be measurable properties such as weight, height, and so on
|
|
extrinsic properties
|
Extrinsic properties are abstract properties such as 'name', 'social security number' and so on, which are attached to an object. Typically, we would not be able to derive these properties simply by examining an object.
|