Cited in
(75)- OntCheck: an ontology-driven static correctness checking tool for component-based models
- scientific article; zbMATH DE number 2246078 (Why is no real title available?)
- HermiT: an OWL 2 reasoner
- Mining the semantic web statistical learning for next generation knowledge bases
- Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
- scientific article; zbMATH DE number 7589539 (Why is no real title available?)
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- Conceptual logic programs
- Semantic Web Services, Processes and Applications
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Semantic Web Languages – Towards an Institutional Perspective
- Representation and monitoring of commitments and norms using OWL
- The HeKatE methodology. Hybrid engineering of intelligent systems
- Modular materialisation of Datalog programs
- A genetic algorithm for optimization of a relational knapsack problem with respect to a description logic knowledge base
- FO(ID) as an extension of DL with rules
- Ontology and time evolution of obligations and prohibitions using semantic web technology
- HiLog
- RuleML
- C-SPARQL
- N3Logic
- KAON
- DAML+OIL
- TRIPLE
- UDDI
- DELORES
- CLIPS
- Pellet
- OntCheck
- SPARQL
- Proclets
- FaCT++
- Jena
- HermiT
- FAMIX
- ASSAM
- f-SWRL
- Drools
- DL-learner
- DRAGO
- LUBM
- GXL
- MnM
- Protege
- VERL
- MWeb
- Lixto
- JBoss
- MyStoryPlayer
- OVID
- Ratsnake
- TopBraid
- Jess
- WSReasoner
- SUMO
- Swoogle
- DR-Prolog
- LegalRuleML
- BayesOWL
- Saner
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Combining answer set programming with description logics for the semantic web
- Reasoning support for Semantic Web ontology family languages using Alloy
- Enabling reasoning with LegalRuleML
- Journal on Data Semantics IV
- f-SWRL: A Fuzzy Extension of SWRL
- An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
- Description logics in multimedia reasoning
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs
- Open answer set programming for the semantic web
- The role of semantics in mining frequent patterns from knowledge bases in description logics with rules
- Towards contingent world descriptions in description logics
- Extended RDF: computability and complexity issues
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
This page was built for software: swrl
