Cited in
(only showing first 100 items - show all)- 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
- swrl
- DRAGO
- LUBM
- Protege
- HyLoRes
- MSPASS
- RacerPro
- Sonic
- TWB
- PolyLib
- VERL
- DeLorean
- LIGHT
- MyStoryPlayer
- OVID
- Ratsnake
- BioPortal
- ELepHant
- ELK
- TopBraid
- JFact
- Snorocket
- InKreSAT
- Jess
- WSReasoner
- Swoop
- MERGEXPLAIN
- OntoDebug
- C32SAT
- QAGen
- Z34Bio
- Turtle
- ARQ
- NoHR
- HGen
- leanK
- NASA PVS
- ICOM
- KL-ONE
- OntoDLV
- BDDTab
This page was built for software: FaCT++
