swrl

swMATH14002MaRDI QIDQ25911FDOQ25911

Author name not available (Why is that?)

Cited In (32)

• Title not available (Why is that?)
• 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
• 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
• 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