The following pages link to swrl (Q25911):
Displaying 32 items.
- Mining the semantic web statistical learning for next generation knowledge bases (Q408710) (← links)
- FO(ID) as an extension of DL with rules (Q604911) (← links)
- Conceptual logic programs (Q854977) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Modular materialisation of Datalog programs (Q2144176) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- OntCheck: an ontology-driven static correctness checking tool for component-based models (Q2375721) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- The HeKatE methodology. Hybrid engineering of intelligent systems (Q2930572) (← links)
- Embedding nonground logic programs into autoepistemic logic for knowledge-base combination (Q2946639) (← links)
- Representation and monitoring of commitments and norms using OWL (Q3000377) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology (Q3402242) (← links)
- Reasoning support for Semantic Web ontology family languages using Alloy (Q3446077) (← links)
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs (Q3506434) (← links)
- The role of semantics in mining frequent patterns from knowledge bases in description logics with rules (Q3577710) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- Description Logics in Multimedia Reasoning (Q4976608) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- Enabling reasoning with LegalRuleML (Q5197743) (← links)
- A Genetic Algorithm for Optimization of a Relational Knapsack Problem with Respect to a Description Logic Knowledge Base (Q5232817) (← links)
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (Q5449615) (← links)
- Journal on Data Semantics IV (Q5493275) (← links)
- Semantic Web Services, Processes and Applications (Q5494270) (← links)
- (Q5717108) (← links)
- f-SWRL: A Fuzzy Extension of SWRL (Q5757417) (← links)
- Semantic Web Languages – Towards an Institutional Perspective (Q5757930) (← links)
- (Q5866352) (← links)
