Pellet
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- HermiT: an OWL 2 reasoner
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Incremental classification of description logics ontologies
- On the Properties of Metamodeling in OWL
- Database Technologies for RDF
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Optimized description logic reasoning via core blocking
- Service Specification and Matchmaking Using Description Logic
- Description Logics
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- Memory-limited model-based diagnosis
- Individual Reuse in Description Logic Reasoning
- Coalgebraic Hybrid Logic
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Extending soft sets with description logics
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Evaluation of automatic generation of basic stories
- Reasoning with nominal schemas through absorption
- Hybrid logics and ontology languages
- Representation and monitoring of commitments and norms using OWL
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Optimized Reasoning in Description Logics Using Hypertableaux
- A hybrid method for probabilistic satisfiability
- A genetic algorithm for optimization of a relational knapsack problem with respect to a description logic knowledge base
- Intelligent decision-making for a smart home environment with multiple occupants
- Putting ABox updates into action
- Ontology and time evolution of obligations and prohibitions using semantic web technology
- Tableau reasoning for description logics and its extension to probabilities
- OWL reasoning: subsumption test hardness and modularity
- Conjunctive query answering for the description logic SHIQ
- The OWL reasoner evaluation (ORE) 2015 competition report
- HiLog
- OilEd
- C-SPARQL
- KAON
- DAML+OIL
- UDDI
- foaf
- LAD
- GtkMathView
- jsMath
- ROADRUNNER
- CoLoSS
- PITA
- OntCheck
- NNexus
- SPARQL
- TATL
- STEX+
- Formulator MathML
- Proclets
- DLog
- FaCT++
- KAON2
- Racer
- Jena
- Fuzzydl
- Ltur
- Cool
- nSPARQL
- SATLIB Benchmark Suite
- CEL
- Chainsaw
- COROR
- HermiT
- DReW
- Konclude
- Pengines
- OpenRuleBench
- FAMIX
- TrOWL
- PGSolver
- SHIP
- Snort
- swrl
- DRAGO
- LUBM
- GXL
- Just
- MnM
- Protege
- PAGOdA
- RacerPro
- PolyLib
- VERL
- DeLorean
- LIGHT
- SHOP2
- Hydrowl
- FeatureIDE
- VariaMos
- PR-OWL
- BioPortal
- ELepHant
- ELK
- JFact
This page was built for software: Pellet
