semantic framework
C12708
concept
A semantic framework is a structured system of concepts, rules, and relationships used to define, interpret, and reason about meaning within a particular domain or language.
All labels observed (13)
| Label | Occurrences |
|---|---|
| logical framework | 3 |
| axiomatic framework | 2 |
| semantic framework canonical | 2 |
| semantic web technology | 2 |
| description logic fragment | 1 |
| formal semantics | 1 |
| framework for argument analysis | 1 |
| knowledge representation approach | 1 |
| semantic test for indicative conditionals | 1 |
| semantics framework | 1 |
| semiotic study | 1 |
| semiotic theory | 1 |
| temporal logic framework | 1 |
Instances (18)
| Instance | Via concept surface |
|---|---|
| Temporal Logic of Actions | temporal logic framework |
| Blum complexity measures | axiomatic framework |
| OWL 2 EL | description logic fragment |
| Linked Data | knowledge representation approach |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
logical framework |
| Toulmin model of argumentation | framework for argument analysis |
|
routley star semantics
surface form:
Routley star semantics
|
— |
| Ramsey test for conditionals | semantic test for indicative conditionals |
| Peircean semiotics | semiotic theory |
| Semantic MediaWiki | semantic web technology |
| Fitting semantics for modal logic | logical framework |
| Atiyah–Segal axioms | axiomatic framework |
| Twelf | logical framework |
| Microdata | semantic web technology |
| Empire of Signs | semiotic study |
| Tarskian object-language/metalanguage distinction | — |
| structural operational semantics | semantics framework |
| semantics of C in Isabelle/HOL | formal semantics |