Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
Author(s) -
Franz Baader,
Clément Théron
Publication year - 2019
Publication title -
qucosa (saxon state and university library dresden)
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.257
Subject(s) - decidability , value (mathematics) , mathematics , description logic , inclusion (mineral) , calculus (dental) , computer science , discrete mathematics , algebra over a field , pure mathematics , artificial intelligence , sociology , medicine , statistics , dentistry , gender studies
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom