swrl
From MaRDI portal
Software:25911
swMATH14002MaRDI QIDQ25911FDOQ25911
Author name not available (Why is that?)
Cited In (32)
- Title not available (Why is that?)
- A Genetic Algorithm for Optimization of a Relational Knapsack Problem with Respect to a Description Logic Knowledge Base
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- 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
- Title not available (Why is that?)
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
- Semantic Web Services, Processes and Applications
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- Conceptual logic programs
- OntoDLV: An ASP-based System for Enterprise Ontologies
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆
- Semantic Web Languages – Towards an Institutional Perspective
- Representation and monitoring of commitments and norms using OWL
- The HeKatE methodology. Hybrid engineering of intelligent systems
- Description Logics in Multimedia Reasoning
- Modular materialisation of Datalog programs
- Towards Contingent World Descriptions in Description Logics
- FO(ID) as an extension of DL with rules
- Ontology and time evolution of obligations and prohibitions using semantic web technology
- 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
- 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
- Extended RDF: computability and complexity issues
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
This page was built for software: swrl