Pages that link to "Item:Q3583061"

The following pages link to PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES (Q3583061):

Displaying 2 items.

• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
• A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$ (Q2814524) (← links)