Ontology
Legal ontology
Top ontology and domain ontologies
Interoperability between ontologies
Conceptual ontologies and lexical ontologies
Legal expert systems
Embedded law
Rules as code
Fundamental Limits on Automation of Legal Reasoning
Advantages of imprecision
Normalized legal drafting and the Query method (Allen, 1978)
Generality
Scope ambiguity
Create formal models of legal text
Legal ontology vs. legal interpretation
LegalRuleML
XML Notepad
Default logic
Norms and truth values
Catala
DMN
Tabular interface
Visualization
Automatic contract-processing
Contracts as code
Legal contract
Classification and summarization
Teach humans to draft better
Spreadsheets for law
Decision table
Technology Stack
Logics, Formalisms, Languages, and Applications
Description logics
SUMO
Cyc
OWL
Overview
Gellish
Gellish
is some kind of ontology language. TODO find out more.
2020-08-25
Uplinks
Logics, Formalisms, Languages, and Applications
#
Ontology
#
language/ontology
