Pages that link to "Description logics"

From korrekt.org

What links here

Page:  Namespace:  all (Main) Talk User User talk korrekt.org korrekt.org talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Property Property talk Type Type talk Concept Concept talk Note Note talk

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Description logics:

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Research (← links)
• Conjunctive Queries for a Tractable Fragment of OWL1.1 (← links)
• Complexity Boundaries for Horn Description Logics (← links)
• Efficient OWL Reasoning with Logic Programs (← links)
• Conjunctive Queries for EL with Role Composition (← links)
• Description Logics (redirect page) (← links)
  • Rule languages (← links)
  • Foundations of Semantic Web Technologies (← links)
  • Description Logic Rules (monograph) (← links)
  • A Better Uncle For OWL (← links)
• On the Complexity of Horn Description Logics (← links)
• How to reason with OWL in a logic programming system (← links)
• Denny Vrandecic (← links)
• Pascal Hitzler (← links)
• Sebastian Rudolph (← links)
• DLP isn't so bad after all (← links)
• Note:Using SMW for content management (← links)
• Semantic Web (← links)
• Note:Mislead by Intuition(ism) (← links)
• Terminological Reasoning in SHIQ with OBDDs (← links)
• All Elephants are Bigger than All Mice (← links)
• Description Logic Rules (← links)
• Practical Reasoning with OWL and Rules (← links)
• Practical Reasoning with OWL and DL-Safe Rules (← links)
• ELP: Tractable Rules for OWL 2 (← links)
• Description Logic Reasoning with Decision Diagrams (← links)
• Description logic (redirect page) (← links)
  • Description Logic Reasoning with Decision Diagrams (← links)
  • Efficient Inferencing for OWL EL (← links)
  • Adventures of Two Little OWLs in Rule Land (← links)
• DL Role Constructors (← links)
• DL (redirect page) (← links)
  • Note:Semantic MediaWiki 1.2: bringing OWL to the Web (← links)
• Approximate OWL-Reasoning with Screech (← links)
• The Largest DLP Possible (← links)
• Towards The Largest DLP Possible (← links)
• OWL 2 Web Ontology Language Primer (← links)
• OWL 2 Web Ontology Language Conformance (← links)
• Efficient Inferencing for OWL EL (← links)
• Orel: Database-Driven Reasoning for OWL 2 Profiles (← links)
• Efficient Inferencing for the Description Logic Underlying OWL EL (← links)
• SPARQL Beyond Subgraph Matching (← links)
• On the Semantic Relationship between Datalog and Description Logics (← links)
• Description Logic Rules (monograph) (← links)
• Efficient Rule-Based Inferencing for OWL EL (← links)
• Unchain My EL Reasoner (← links)
• Fixed Parameter Tractable Reasoning in DLs via Decomposition (← links)
• Nominal Schemas for Integrating Rules and Description Logics (← links)
• Concurrent Classification of EL Ontologies (← links)
• Practical Reasoning with Nominals in the EL Family of Description Logics (← links)
• A Description Logic Primer (← links)
• Complexities of Horn Description Logics (← links)
• Acyclicity Conditions and their Application to Query Answering in Description Logics (← links)
• ELK: A Reasoner for OWL EL Ontologies (← links)
• OWL 2 Profiles (← links)
• Type-elimination-based Reasoning for SHIQbs (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)