Publication | Open Access
Terminological knowledge representation : a proposal for a terminological logic
73
Citations
2
References
1990
Year
EngineeringEpistemic LogicSemantic WebSemanticsNeeded InferencesTerminological LogicComputational LinguisticsFormal SystemOntology LearningLanguage StudiesFormal SemanticsKnowledge RepresentationOntological AnalysisPhilosophy Of LanguageTerminological Knowledge RepresentationKnowledge StructuringAutomated ReasoningDescription LogicEpistemologyLogical AnalysisLinguistics
This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.
| Year | Citations | |
|---|---|---|
Page 1
Page 1