Pages that link to "Item:Q4647815"

The following pages link to OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815):

Displayed 7 items.

• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) ‎ (← links)
• Reasoning over Vague Concepts (Q2814378) ‎ (← links)
• (Q4558528) ‎ (← links)
• Reasoning and Query Answering in Description Logics (Q4647812) ‎ (← links)
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) ‎ (← links)
• An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) ‎ (← links)
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) ‎ (← links)