Cited in
(only showing first 100 items - show all)- SableCC
- BayesOWL
- CLProver
- HgMUS
- TuCSoN
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
- Reasoning with rough description logics: An approximate concepts approach
- CoLoSS: the coalgebraic logic satisfiability solver
- Reasoning within expressive fuzzy rough description logics
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic
- Symmetric blocking
- \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
- Optimizing terminological reasoning for expressive description logics
- Computing the least common subsumer w.r.t. a background terminology
- LARS
- Expressive probabilistic description logics
- Possibilistic testing of OWL axioms against RDF data
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- Reasoning in description logics by a reduction to disjunctive datalog
- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Logic Programming and Nonmonotonic Reasoning
- An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
- Consequence-based and fixed-parameter tractable reasoning in description logics
- A goal-directed decision procedure for hybrid PDL
- Data Management and query processing in semantic web databases.
- Description logics in multimedia reasoning
- Effective method for detecting error causes from incoherent biological ontologies
- Formally verified tableau-based reasoners for a description logic
- An overview of tableau algorithms for description logics
- Model-theoretic inseparability and modularity of description logic ontologies
- GeoMergeP: geographic information integration through enriched ontology matching
- Decision procedures. An algorithmic point of view
- Satisfiability and reasoning mechanism of terminological cycles in description logic v L
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions
- Intelligent tableau algorithm for DL reasoning
- MOIN
- InKreSAT: modal reasoning via incremental reduction to SAT
- Composing Modular Ontologies with Distributed Description Logics
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Verified Decision Procedures for Modal Logics.
- Sound global state caching for ALC with inverse roles
- HermiT: an OWL 2 reasoner
- Bayesian ranking for strategy scheduling in automated theorem provers
- Clausal resolution in a logic of rational agency
- Incremental classification of description logics ontologies
- On the Properties of Metamodeling in OWL
- Usability Issues in Description Logic Knowledge Base Completion
- Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Extended caching, backjumping and merging for expressive description logics
- Description Logics
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Reasoning on UML class diagrams
- Individual Reuse in Description Logic Reasoning
- Coalgebraic Hybrid Logic
- Extracting Modules from Ontologies: A Logic-Based Approach
- A resolution-based calculus for preferential logics
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Data complexity of query answering in expressive description logics via tableaux
- OntoDLV: An ASP-based System for Enterprise Ontologies
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
- Hybrid logics and ontology languages
- Modular reuse of ontologies: theory and practice
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- OWL reasoning: subsumption test hardness and modularity
- Conjunctive query answering for the description logic SHIQ
- The OWL reasoner evaluation (ORE) 2015 competition report
- OilEd
- C-SPARQL
- KAON
- DAML+OIL
- OMT-G
- KARO
- CoLoSS
- PITA
- Pellet
- SPARQL
- TATL
- PROMPT
- LoTREC
- QBFLIB
- KAON2
- Racer
- Jena
- Fuzzydl
- Cool
- nSPARQL
- SATLIB Benchmark Suite
- CEL
- Chainsaw
- COROR
- HermiT
- DReW
- HTab
- Konclude
- PVSio
- Spartacus
- TrOWL
This page was built for software: FaCT++
