search

kastle-lab / kastle-drawbridge

1 stars 0 forks source link

Using Cogan's Words: Modeling Fundamentals #17

Open threefinbdd opened 4 months ago

threefinbdd commented 4 months ago

DL (LOGICS): family of logical langauges which are subsets (or fragments) or FOPL.

You can only say specific types of things with DLs.

Tractability DLs empowers Tractability by always resulting in an answer; whereas, Intractability would take an infinite-amount-of-time

FOPL

Ontology is a set of DLs axioms, TBox, ABox, RBox.

Types of DLs ALC->SROIQ-D, which we use in OWL)

threefinbdd commented 4 months ago

"Axioms are constraints on how the graph may be constructed" with some extra nuances

threefinbdd commented 4 months ago

Explicit Knowledge

Implicit Knowledge

Scoped Domain: A \sco \forall R.B If I have an instance of A, as x, and if there is a relationship between x and y, and if y is an instance of B.

Scoped Range \exists R.B \sco A If there exists a relationship R with B, then A.

threefinbdd commented 4 months ago

image