Pages that link to "Description Logics"

From Tetherless World Wiki

> Description Logics

What links here

Page:  Namespace:  all (Main) Talk User User talk Tetherless World Wiki Tetherless World Wiki talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Relation Relation talk Property Property talk Type Type talk Form Form talk Concept Concept talk Widget Widget talk latex Blog Blog-talk baojie baojie-talk test tw tw-talk latex latex-talk co co-talk rule rule-talk email email-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)

• Slides: Introduction to Description Logics by Jie Bao (9-17-2007) (← links)
• Category:In Collection Paper (← links)
• Handling Cyclic Conjunctive Queries (← links)
• Asking Queries about Frames (← links)
• Knowledge Representation on the Web (← links)
• Driving User Interfaces from FaCT (← links)
• Matchmarking Using an Instance Store: Some Preliminary Results (← links)
• OilEd: a Reason-able Ontology Editor for the Semantic Web (← links)
• A Proposal for a Description Logic Interface (← links)
• Explaining ALC Subsumption (← links)
• Reasoning with Black Boxes: Handling Test Concepts in CLASSIC (← links)
• FaCT (← links)
• Kris (← links)
• FaCT and iFaCT (← links)
• Description Logics with Transitive Roles (← links)
• The Instance Store: DL Reasoning with Large Numbers of Individuals (← links)
• The Generation of DAML+OIL (← links)
• Reducing OWL Entailment to Description Logic Satisfability (← links)
• DL Systems Comparison (Summary Relation) (← links)
• Comparing Subsumption Optimizations (← links)
• Performance of DLP on Random Modal Formulae (← links)
• Using a Description Logic with Concept Inclusions (← links)
• A Description Logic with Transitive and Inverse Roles and Role Hierarchies (← links)
• Answering Conjunctive Queries over DL Aboxes: A Preliminary Report (← links)
• Optimisation of Terminological Reasoning (← links)
• Description Logics Emerge from Ivory Towers (← links)
• RDFS(FA): A DL-ised Sub-language of RDFS (← links)
• The CLASSIC Knowledge Representation System: Implementation, Applications, and Beyond (← links)
• Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?") (← links)
• Making Description Logic Based Knowledge Representation Systems More Usable (← links)
• Usability Issues in DL Systems (← links)
• Towards Explaining Semantic Matching (← links)
• Will my Ontologies Fit Together? (← links)
• Automated Benchmarking of Description Logic Reasoners (← links)
• Conjunctive Query Answering for Description Logics with Transitive Roles (← links)
• DL Reasoner vs. First-Order Prover (← links)
• Efficient Reasoning with Range and Domain Constraints (← links)
• Optimised Classification for Taxonomic Knowledge Bases (← links)
• Ian Horrocks (← links)
• Ulrike Sattler (← links)
• DBLP:books/sp/staabS2004/BaaderHS04 (redirect page) (← links)
  • Description Logics (← links)
• Visualising a DL Knowledge Base with DeLogViz (← links)
• From Lexicon To Mammographic Ontology: Experiences and Lessons (← links)
• Conjunctive Query Entailment for SHOQ (← links)
• Ontology Reuse: Better Safe than Sorry (← links)
• A Hypertableau Calculus for SHIQ (← links)
• Description Logics Tutorial, Summer 2008 (← links)
• Description Logic Reasoning for Dynamic ABoxes (← links)
• Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata (← links)
• Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi (← links)

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