Category-theoretic, lattice-preserving embedding of ALC description-logic ontologies that retains the consequence-closure semantics of the original theory.
Connections
Open in the interactive graph →
JSON-LD (this resource)
{
"@context": {
"schema": "https://schema.org/",
"foaf": "http://xmlns.com/foaf/0.1/",
"prov": "http://www.w3.org/ns/prov#",
"dct": "http://purl.org/dc/terms/",
"borg": "https://borg.kaust.edu.sa/kg/ns/",
"borg-id": "https://borg.kaust.edu.sa/kg/",
"owl": "http://www.w3.org/2002/07/owl#"
},
"@id": "https://leechuck.de/kg-browser/id/software/cate",
"@type": "schema:SoftwareApplication",
"owl:sameAs": {
"@id": "https://borg.kaust.edu.sa/kg/software/cate"
},
"schema:name": "catE",
"schema:description": "Category-theoretic, lattice-preserving embedding of ALC description-logic ontologies that retains the consequence-closure semantics of the original theory.",
"schema:codeRepository": "https://github.com/bio-ontology-research-group/catE",
"borg:fromProject": [
{
"@id": "https://leechuck.de/kg-browser/id/project/crg-ibnsina-qi"
}
]
}
Machine-readable copy: data.jsonld. Full dataset: kg.jsonld.