Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Combining Horn rules and description logics in CARIN
Artificial Intelligence
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
MSPASS: Modal Reasoning by Translation and First-Order Resolution
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Representing Disjunction and Quantifiers in RDF
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A Superposition Decision Procedure for the Guarded Fragment with Equality
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The design and implementation of VAMPIRE
AI Communications - CASC
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Ontology oriented programming in go!
Applied Intelligence
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Ontology schema for an agent belief store
International Journal of Human-Computer Studies
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
A system for monitoring, assessing and certifying Quality of Service in telematic services
Knowledge-Based Systems
Ontologies and reasoning techniques for (legal) intelligent information retrieval systems
Artificial Intelligence and Law
Clinical practice guidelines: A case study of combining OWL-S, OWL, and SWRL
Knowledge-Based Systems
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
An ontology for causal relationships between news and financial instruments
Expert Systems with Applications: An International Journal
Development of a product configuration system with an ontology-based approach
Computer-Aided Design
Combining weights with fuzziness for intelligent semantic web search
Knowledge-Based Systems
Combining OpenEHR Archetype Definitions with SWRL Rules --- A Translation Approach
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
A Software Framework for Translating ECA Sequences from OWL-DL into Java
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Combining Fuzzy Description Logics and Fuzzy Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Designing Visual Languages for Description Logics
Journal of Logic, Language and Information
Ontology-based curriculum content sequencing system with semantic rules
Expert Systems with Applications: An International Journal
Project teaming: Knowledge-intensive design for composing team members
Expert Systems with Applications: An International Journal
IEICE - Transactions on Information and Systems
Proceedings of the 2009 ACM symposium on Applied Computing
Conceptual Modelling (and Problem Solving Techniques) for Complex Narrative Events
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
QuestSemantics-Intelligent Search and Retrieval of Business Knowledge
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Rule-based ontological knowledge base for monitoring partners across supply networks
Expert Systems with Applications: An International Journal
Semantic matchmaking of web services constraint conditions
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Anomalies in ontologies with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Supply chain teaming: a knowledge intensive approach for finding and selecting partners
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Reconciling description logics and rules
Journal of the ACM (JACM)
Gray box robustness testing of rule systems
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Modeling environmental process using semantic geospatial web service
W2GIS'07 Proceedings of the 7th international conference on Web and wireless geographical information systems
Towards personal privacy control
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
OWL-S atomic services composition with SWRL rules
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Using a lightweight ontology of heart electrophysiology in an interactive web application
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
POLIPO: policies & ontologies for interoperability, portability, and autonomy
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
An ontology-based intrusion alerts correlation system
Expert Systems with Applications: An International Journal
Improved knowledge management through first-order logic in engineering design ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A context information structure using peer-to-peer networks with the TV users
WebMedia '09 Proceedings of the XV Brazilian Symposium on Multimedia and the Web
Modelling cloud computing infrastructure
AIMS'10 Proceedings of the Mechanisms for autonomous management of networks and services, and 4th international conference on Autonomous infrastructure, management and security
XSWRL, an Extended Semantic Web Rule Language and prototype implementation
Expert Systems with Applications: An International Journal
Talking biology in logic, and back
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Design of a performance-oriented workplace e-learning system using ontology
Expert Systems with Applications: An International Journal
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rules
Journal of Biomedical Informatics
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Semantic web reasoners and languages
Artificial Intelligence Review
A semantic privacy-preserving model for data sharing and integration
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Reasoning on the semantic web for adaptive hypermedia
Journal of Web Engineering
SWRL rules plan encoding with OWL-S composite services
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Ontologies for intellectual property rights protection
Expert Systems with Applications: An International Journal
Semantic business process space for intelligent management of sales order business processes
Information Systems Frontiers
KnowWE: a Semantic Wiki for knowledge engineering
Applied Intelligence
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Combining RDF and part of OWL with rules: semantics, decidability, complexity
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Enabling multimedia metadata interoperability by defining formal semantics of MPEG-7 profiles
SAMT'06 Proceedings of the First international conference on Semantic and Digital Media Technologies
Hybrid query processing for personalized information retrieval on the Semantic Web
Knowledge-Based Systems
Integrating datalog with OWL: exploring the AL-log approach
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Integrating the two main inference modes of NKRL, transformations and hypotheses
Journal on Data Semantics IV
Review: representing and classifying arguments on the semantic web
The Knowledge Engineering Review
A revised architecture for semantic web reasoning
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
A framework of cooperative agents with implicit support for ontologies
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Representing transitive propagation in OWL
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Verification and refactoring of ontologies with rules
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
User profiles and matchmaking on mobile phones
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Extending description logic rules
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
RDL: enhancing description logic with rules
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
A knowledge-driven approach to composite activity recognition in smart environments
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
Advanced computational reasoning based on the NKRL conceptual model
Expert Systems with Applications: An International Journal
Correctness of solving query-answering problems using satisfiability solvers
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Engineering Applications of Artificial Intelligence
A knowledge-based formalization of UBL processes using hybrid programs
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
An ontology based approach to organize multi-agent assisted supply chain negotiations
Computers and Industrial Engineering
Semantics enhanced engineering and model reasoning for control application development
Multimedia Tools and Applications
Automatically generating assembly tolerance types with an ontology-based approach
Computer-Aided Design
Graph-based reasoning in collaborative knowledge management for industrial maintenance
Computers in Industry
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
Hi-index | 0.01 |
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present the Semantic Web Rule Language (SWRL), a Horn clause rules extension to OWL that overcomes many of these limitations. SWRL extends OWL in a syntactically and semantically coherent manner: the basic syntax for SWRL rules is an extension of the abstract syntax for OWL DL and OWL Lite; SWRL rules are given formal meaning via an extension of the OWL DL model-theoretic semantics; SWRL rules are given an XML syntax based on the OWL XML presentation syntax; and a mapping from SWRL rules to RDF graphs is given based on the OWL RDF/XML exchange syntax. We discuss the expressive power of SWRL, showing that the ontology consistency problem is undecidable, provide several examples of SWRL usage, and discuss a prototype implementation of reasoning support for SWRL.