Unifying Class-Based Representation Formalisms.

Calvanese, D., Lenzerini, & Nardi, D. (1999). Unifying Class-Based Representation Formalisms. Journal of Artificial Intelligence Research, 199-240.

Type

Journal article

Intellectual base

Primary research

Year

1999

Link

https://www.cs.cmu.edu/afs/cs/project/jair/pub/volume11/calvanese99a-html/calvanese99a-html.html

Cited by

1 citation across 1 artifact.

Domain-specific

• Class (Knowledge Representation)
  • Description logics were developed partly to give class-based representation a precise logical foundation and to separate sound entailment from procedural inheritance intuitions.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:2f1e6ac90980 · see in the full table