The following pages link to Racer (Q21816):
Displayed 50 items.
- From description-logic programs to multi-context systems (Q516031) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Similarity-based relaxed instance queries (Q901081) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- A resolution-based calculus for preferential logics (Q1799110) (← links)
- Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game (Q1827410) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- GeoMergeP: geographic information integration through enriched ontology matching (Q2269089) (← links)
- A formal model of semantic computing (Q2318288) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Expressive probabilistic description logics (Q2389639) (← links)
- Natural language directed inference from ontologies (Q2389659) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- Intelligent Tableau Algorithm for DL Reasoning (Q2851951) (← links)
- Hybrid Logics and Ontology Languages (Q2867944) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- Efficient description logic reasoning in Prolog: The DLog system (Q3393230) (← links)
- Ontology Integration Using ε-Connections (Q3631364) (← links)
- Composing Modular Ontologies with Distributed Description Logics (Q3631365) (← links)
- Realizing Default Logic over Description Logic Knowledge Bases (Q3638182) (← links)
- Description Logics (Q3638996) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
- Automated Reasoning (Q5307068) (← links)
- Automated Deduction – CADE-20 (Q5394633) (← links)
- Multimedia enriched ontologies for video digital libraries (Q5430121) (← links)
- Foundations of Information and Knowledge Systems (Q5898545) (← links)