![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
toread: https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning https://en.wikipedia.org/wiki/Ontology_language http://dai.fmph.uniba.sk/~sefranek/kri/handbook/ On beyond Gruber: “Ontologies” in today’s biomedical information systems and the limits of OWL (2019)
DL intros: https://en.wikipedia.org/wiki/Description_logic http://www.matrix.umcs.lublin.pl/~akrajka/Ontologia/Materials/IntroDL.pdf https://www.uio.no/studier/emner/matnat/ifi/INF3170/h15/undervisningsmateriale/dl1.pdf https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1184&context=cse
https://en.wikipedia.org/wiki/Frame_(artificial_intelligence)#Frame_language https://en.wikipedia.org/wiki/Ontology_engineering that book i have on kr/ontologies
https://en.wikipedia.org/wiki/Fuzzy_logic https://en.wikipedia.org/wiki/Fuzzy_logic#Comparison_to_probability https://en.wikipedia.org/wiki/Possibility_theory "Cimino’s widely quoted desiderata for terminologies" https://www.ncbi.nlm.nih.gov/labs/pmc/articles/PMC3415631/ Desiderata for Controlled Medical Vocabularies in the Twenty-First Century James.J. Cimino, M.D. (1998)
DAML, OIL, RDF, RDFS were apparently predecessors/inspirations to OWL. There is an OWL 2 and an OWL-Lite. "OWL 2 provides the expressiveness of SROIQ(D), OWL-DL is based on SHOIN(D), and for OWL-Lite it is SHIF(D)" [1], "The design of OWL is based on the SH family of DL" [2]. OIL is SHIQ(D) [3]. In https://en.wikipedia.org/wiki/Ontology_language#Description_logic-based , three other languages are also listed: Gellish (I've heard of this one a bit), KL-ONE ("The first DL-based KR system...1985" https://en.wikipedia.org/wiki/Description_logic#History) , RACER ("From the mid '90s, reasoners were created with good practical performance on very expressive DL with high worst case complexity.[5] Examples from this period include...RACER (2001)" https://en.wikipedia.org/wiki/Description_logic#History). https://en.wikipedia.org/wiki/Ontology_language#Frame-based also lists two "frame-based" languages which are linked to Wikipedia entries: F-Logic, OKBC.
Common Logic, CycL?, and KIF apparently support full first-order logic. So these are maybe too expressive (and therefore too hard to efficiency reason about) for many of my purposes.
RDF serialization formats include "RDFa, RDF/XML, N3, Turtle, or JSON-LD" -- https://en.wikipedia.org/wiki/Linked_data]
So so far i think the highest priority things for me to learn about are:
RDF, RDFS, https://en.wikipedia.org/wiki/Linked_data , OWL EL, https://en.wikipedia.org/wiki/Frame_(artificial_intelligence)#Frame_language, DL (particularly EL and EL++, which are polytime, and the SH family, which is a descendent of ALC), Gellish
"Frame systems use the familiar closed-world semantics of databases, logic programming, etc. There is no standard for frame systems. The closest is the OKBC standard [10], [60], which is the basis for Protégé [6], and which we shall take as our prime example." [4]
