FaCT++
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Reasoning with rough description logics: An approximate concepts approach
- Reasoning within expressive fuzzy rough description logics
- OilEd
- C-SPARQL
- KAON
- DAML+OIL
- OMT-G
- KARO
- Clausal resolution in a logic of rational agency
- OWL reasoning: subsumption test hardness and modularity
- Possibilistic testing of OWL axioms against RDF data
- The OWL reasoner evaluation (ORE) 2015 competition report
- A resolution-based calculus for preferential logics
- PITA
- CoLoSS
- Pellet
- SPARQL
- TATL
- LoTREC
- Bayesian ranking for strategy scheduling in automated theorem provers
- QBFLIB
- PROMPT
- Racer
- KAON2
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Jena
- GeoMergeP: geographic information integration through enriched ontology matching
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- Model-theoretic inseparability and modularity of description logic ontologies
- Formally verified tableau-based reasoners for a description logic
- A goal-directed decision procedure for hybrid PDL
- HermiT: an OWL 2 reasoner
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Fuzzydl
- Computing the least common subsumer w.r.t. a background terminology
- nSPARQL
- SATLIB Benchmark Suite
- Expressive probabilistic description logics
- Cool
- ABox abduction in the description logic \(\mathcal{ALC}\)
- HermiT
- Spartacus
- HTab
- PVSio
- Konclude
- CEL
- COROR
- TrOWL
- Chainsaw
- DReW
- Reasoning on UML class diagrams
- Optimizing terminological reasoning for expressive description logics
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Reasoning in description logics by a reduction to disjunctive datalog
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- swrl
- Effective method for detecting error causes from incoherent biological ontologies
- LUBM
- DRAGO
- \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Intelligent tableau algorithm for DL reasoning
- Hybrid logics and ontology languages
- Extended caching, backjumping and merging for expressive description logics
- Protege
- Sonic
- HyLoRes
- RacerPro
- TWB
- MSPASS
- Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
- VERL
- TopBraid
- Ratsnake
- OVID
- MyStoryPlayer
- OntoDLV: An ASP-based System for Enterprise Ontologies
- PolyLib
- BioPortal
- DeLorean
- ELepHant
- JFact
- Snorocket
- ELK
- WSReasoner
- InKreSAT
- A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic
- Jess
- Individual Reuse in Description Logic Reasoning
- Swoop
- Coalgebraic Hybrid Logic
- Conjunctive query answering for the description logic SHIQ
- Modular reuse of ontologies: theory and practice
- Usability Issues in Description Logic Knowledge Base Completion
- Extracting Modules from Ontologies: A Logic-Based Approach
- Composing Modular Ontologies with Distributed Description Logics
- Description Logics
- Sound global state caching for ALC with inverse roles
- OntoDebug
- MERGEXPLAIN
This page was built for software: FaCT++
