Racer
From MaRDI portal
Software:21816
No author found.
Related Items (51)
Computing the least common subsumer w.r.t. a background terminology ⋮ Expressive probabilistic description logics ⋮ Natural language directed inference from ontologies ⋮ Combining answer set programming with description logics for the semantic web ⋮ Reasoning about interaction protocols for customizing web service selection and composition ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Open answer set programming for the semantic web ⋮ The OWL reasoner evaluation (ORE) 2015 competition report ⋮ Similarity-based relaxed instance queries ⋮ ABox abduction in the description logic \(\mathcal{ALC}\) ⋮ Deciding expressive description logics in the framework of resolution ⋮ Reasoning on UML class diagrams ⋮ Automated Deduction – CADE-20 ⋮ A tableau decision procedure for \(\mathcal{SHOIQ}\) ⋮ Reasoning in description logics by a reduction to disjunctive datalog ⋮ Data complexity of query answering in expressive description logics via tableaux ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics ⋮ Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) ⋮ From description-logic programs to multi-context systems ⋮ The complexity of finite model reasoning in description logics ⋮ Incremental classification of description logics ontologies ⋮ Multimedia enriched ontologies for video digital libraries ⋮ Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings ⋮ Automata-based axiom pinpointing ⋮ GeoMergeP: geographic information integration through enriched ontology matching ⋮ Automated Reasoning in $\mathcal{ALCQ}$ via SMT ⋮ (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) ⋮ A resolution-based calculus for preferential logics ⋮ Flexible software architectures for ontology-based information systems ⋮ Reasoning with rough description logics: An approximate concepts approach ⋮ Ontology Integration Using ε-Connections ⋮ Composing Modular Ontologies with Distributed Description Logics ⋮ Realizing Default Logic over Description Logic Knowledge Bases ⋮ Description Logics ⋮ Ontologies and Databases: The DL-Lite Approach ⋮ Efficient description logic reasoning in Prolog: The DLog system ⋮ Foundations of Information and Knowledge Systems ⋮ HTab: a Terminating Tableaux System for Hybrid Logic ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver ⋮ Exploiting conjunctive queries in description logic programs ⋮ A formal model of semantic computing ⋮ Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game ⋮ Automated Reasoning ⋮ On the scalability of description logic instance retrieval ⋮ Intelligent Tableau Algorithm for DL Reasoning ⋮ Hybrid Logics and Ontology Languages ⋮ Formally verified tableau-based reasoners for a description logic ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies ⋮ Combining interval-based temporal reasoning with general TBoxes ⋮ Decidability of SHIQ with complex role inclusion axioms
This page was built for software: Racer
