Oxford Index Search Results

You are looking at 1-2 of 2 items for:

abox x Logic x clear all

Refine by type

Refine by product



Overview page. Subjects: Maritime History.

An old sailing ship expression used in the days of square-riggers rigged with yards. To lay the head-yards abox was to lay them square to the foremast in order to heave to. This brought the...

See overview in Oxford Index

PSpace Reasoning with the Description Logic AℒCF(D)

Carsten Lutz.

in Logic Journal of the IGPL

September 2002; p ublished online September 2002 .

Journal Article. Subjects: Logic. 0 words.

Description Logics (DLs), a family of formalisms for reasoning about conceptual knowledge, can be extended with concrete domains to allow an adequate representation of “concrete qualities”...

Go to Oxford Journals »  abstract

On Instance-level Update and Erasure in Description Logic Ontologies

Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi and Riccardo Rosati.

in Journal of Logic and Computation

October 2009; p ublished online August 2008 .

Journal Article. Subjects: Computing; Logic. 0 words.

A Description Logic (DL) ontology is constituted by two components, a TBox that expresses general knowledge about the concepts and their relationships, and an ABox that describes the...

Go to Oxford Journals »  abstract