Racer

swMATH9837MaRDI QIDQ21816FDOQ21816

Author name not available (Why is that?)

Cited In (51)

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

This page was built for software: Racer