Publication | Closed Access
On the relative expressiveness of description logics and predicate logics
359
Citations
16
References
1996
Year
Formal SemanticsEngineeringAutomated ReasoningRelative ExpressivenessDescription LogicFormal MethodsFirst-order LogicDescription LogicsSemanticsLanguage StudiesHigher-order LogicLinguisticsLogical Formalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1