are also applied in other domains, including defense, climate modeling, and large-scale industrial knowledge graphs.

Introduction

A DL models concepts, roles and individuals, and their relationships.

The fundamental modeling concept of a DL is the axiom--a logical statement relating roles and/or concepts. This is a key difference from the frames paradigm where a frame specification declares and completely defines a class.

Nomenclature

Terminology compared to FOL and OWL

1.Previous
3.Next