Racer
From MaRDI portal
Cited in
(98)- Flexible software architectures for ontology-based information systems
- Reasoning with rough description logics: An approximate concepts approach
- Exploiting conjunctive queries in description logic programs
- On the scalability of description logic instance retrieval
- Hilberticus
- OilEd
- KAON
- DAML+OIL
- TRIPLE
- OMT-G
- DLVHEX
- STRIP
- The OWL reasoner evaluation (ORE) 2015 competition report
- A resolution-based calculus for preferential logics
- Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game
- CoLoSS
- Pellet
- TATL
- FaCT++
- KAON2
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- GeoMergeP: geographic information integration through enriched ontology matching
- A formal model of semantic computing
- Formally verified tableau-based reasoners for a description logic
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Computing the least common subsumer w.r.t. a background terminology
- SATLIB Benchmark Suite
- Expressive probabilistic description logics
- Natural language directed inference from ontologies
- Combining answer set programming with description logics for the semantic web
- Cool
- ABox abduction in the description logic \(\mathcal{ALC}\)
- HermiT
- HTab
- PVSio
- Konclude
- CEL
- COROR
- TrOWL
- Chainsaw
- DReW
- Reasoning on UML class diagrams
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Reasoning in description logics by a reduction to disjunctive datalog
- The complexity of finite model reasoning in description logics
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- HyLoTab
- VisualSEEk
- swrl
- RealityGrid
- DRAGO
- Intelligent tableau algorithm for DL reasoning
- Hybrid logics and ontology languages
- Protege
- Sonic
- RacerPro
- Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
- MODPROF
- Efficient description logic reasoning in Prolog: The DLog system
- PolyLib
- ELepHant
- JFact
- Snorocket
- ELK
- 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
- KRHyper
- Wikipedia Miner
- NoHR
- LIGHT
- leanK
- NASA PVS
- KL-ONE
- HTab: a terminating tableaux system for hybrid logic
- CoLoSS: the coalgebraic logic satisfiability solver
- From description-logic programs to multi-context systems
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- BayesOWL
- Automated Reasoning
- Automated Deduction – CADE-20
- Multimedia enriched ontologies for video digital libraries
- CLProver
- Foundations of Information and Knowledge Systems
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- Automata-based axiom pinpointing
- Combining interval-based temporal reasoning with general TBoxes
- Decidability of SHIQ with complex role inclusion axioms
- 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
- Similarity-based relaxed instance queries
- Deciding expressive description logics in the framework of resolution
- Data complexity of query answering in expressive description logics via tableaux
- Satisfiability and reasoning mechanism of terminological cycles in description logic v L
- Incremental classification of description logics ontologies
This page was built for software: Racer
