https://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs
RDF-Compatible Model-Theoretic Semantics for OWL
model theoreticrdfcompatiblesemanticsowl
https://www.w3.org/2001/sw/WebOnt/TR/STAGE-owl-semantics/rdfs.html
RDF-Compatible Model-Theoretic Semantics for OWL
model theoreticrdfcompatiblesemanticsowl
https://arxiv.org/abs/0810.4068
[0810.4068] Model theoretic forcing in analysis
Abstract page for arXiv paper 0810.4068: Model theoretic forcing in analysis
model theoretic08104068forcinganalysis
https://www.w3.org/TR/2004/REC-owl-semantics-20040210/direct
Direct Model-Theoretic Semantics for OWL
model theoreticdirectsemanticsowl
https://openreview.net/forum?id=X8by2c7fOh&referrer=%5Bthe%20profile%20of%20Yashas%20Malur%20Saidutta%5D(%2Fprofile%3Fid%3D~Yashas_Malur_Saidutta1)
Model-Theoretic Logic for Mathematical Theory of Semantic Information and Communication | OpenReview
In this paper, we propose an advancement to Tarskian model-theoretic semantics, leading to a unified quantitative theory of semantic information and...
information and communicationmodel theoreticmathematical theory
https://arxiv.org/abs/2202.00549
[2202.00549] Model Theoretic Characterizations of Large Cardinals Revisited
Abstract page for arXiv paper 2202.00549: Model Theoretic Characterizations of Large Cardinals Revisited
model theoreticlarge cardinals220200549characterizations
https://www.w3.org/TR/2001/NOTE-daml+oil-model-20011218
A Model-Theoretic Semantics for DAML+OIL (March 2001)
a modeldaml oiltheoreticsemanticsmarch