Report copyright - Knowledge Representation and Ontologies · ALC properties ALC concept reasoning ALC KB reasoning ALC extensions Extended ALC reasoning SHOIQ +SROIQ References ALC and rst-order logic
Please pass captcha verification before submit form