swrl
From MaRDI portal
Software:25911
No author found.
Related Items (31)
Reasoning support for Semantic Web ontology family languages using Alloy ⋮ Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system ⋮ OntCheck: an ontology-driven static correctness checking tool for component-based models ⋮ Modular materialisation of Datalog programs ⋮ Conceptual logic programs ⋮ Combining answer set programming with description logics for the semantic web ⋮ FO(ID) as an extension of DL with rules ⋮ Open answer set programming for the semantic web ⋮ Embedding nonground logic programs into autoepistemic logic for knowledge-base combination ⋮ Unnamed Item ⋮ Mining the semantic web statistical learning for next generation knowledge bases ⋮ Translating OWL and semantic web rules into prolog: Moving toward description logic programs ⋮ Extended RDF: computability and complexity issues ⋮ Representation and monitoring of commitments and norms using OWL ⋮ The role of semantics in mining frequent patterns from knowledge bases in description logics with rules ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ f-SWRL: A Fuzzy Extension of SWRL ⋮ Semantic Web Languages – Towards an Institutional Perspective ⋮ Enabling reasoning with LegalRuleML ⋮ Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming ⋮ Description Logics in Multimedia Reasoning ⋮ Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web ⋮ OntoDLV: An ASP-based System for Enterprise Ontologies ⋮ A Genetic Algorithm for Optimization of a Relational Knapsack Problem with Respect to a Description Logic Knowledge Base ⋮ Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology ⋮ Journal on Data Semantics IV ⋮ An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ ⋮ Semantic Web Services, Processes and Applications ⋮ Unnamed Item ⋮ Towards Contingent World Descriptions in Description Logics ⋮ HermiT: an OWL 2 reasoner
This page was built for software: swrl
