Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
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
Combining Horn rules and description logics in CARIN
Artificial Intelligence
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
The design and implementation of VAMPIRE
AI Communications - CASC
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A mapping system for the integration of OWL-DL ontologies
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
A semantic web approach to handling soft constraints in virtual organisations
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
A policy framework for trading configurable goods and services in open electronic markets
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Verifying space and time requirements for resource-bounded agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Agents for e-business applications
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
A reusable commitment management service using Semantic Web technology
Knowledge-Based Systems
Knowledge-based multimedia adaptation for ubiquitous multimedia consumption
Journal of Network and Computer Applications
Probabilistic description logic programs
International Journal of Approximate Reasoning
Mephisto I towards a formal theory
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
A model for ontology-based scene description for context-aware driver assistance systems
Proceedings of the 1st international conference on Ambient media and systems
A system for modal and deontic defeasible reasoning
Proceedings of the 2008 ACM symposium on Applied computing
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
Guarded hybrid knowledge bases12
Theory and Practice of Logic Programming
A Semantic web approach to handling soft constraints in virtual organisations
Electronic Commerce Research and Applications
Semantic specification and evaluation of bids in web-based markets
Electronic Commerce Research and Applications
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence
A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
A Fuzzy Rule-Based System with Ontology for Summarization of Multi-camera Event Sequences
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Ontology-based situation awareness
Information Fusion
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Web Semantics: Science, Services and Agents on the World Wide Web
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Visualization of Proofs in Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Semantic approach for modelling an assistive environment using description logic
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Ontological approach to development of computing with words based systems
International Journal of Approximate Reasoning
Business rules for semantics-aware business modelling: overview and open issues
International Journal of Web Engineering and Technology
Hybrid Reasoning with Forest Logic Programs
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Modal logics for communicating rule-based agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
A semantic approach for accessible services delivery in a smart environment
International Journal of Web and Grid Services
Artificial Intelligence in Medicine
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
OSLN: An Object-Oriented Semantic Link Network language for complex object description and operation
Future Generation Computer Systems
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Interpreting SWRL Rules in RDF Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Updating user profile using ontology-based semantic similarity
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Semantic Matching Framework for handicap situation detection in smart environments
Journal of Ambient Intelligence and Smart Environments
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation for the semantic web using defeasible logic
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
A system for modal and deontic defeasible reasoning
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Acquiring generalized domain-range restrictions
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Annals of Mathematics and Artificial Intelligence
Loop formulas for description logic programs
Theory and Practice of Logic Programming
SWAM: A logic-based mobile agent programming language for the Semantic Web
Expert Systems with Applications: An International Journal
XSWRL, an Extended Semantic Web Rule Language and prototype implementation
Expert Systems with Applications: An International Journal
Combining description logics, description graphs, and rules
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Aligning Semantic Web applications with network access controls
Computer Standards & Interfaces
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
A meta-logical approach for reasoning with ontologies and rules expressed in OWL 2
ACS'10 Proceedings of the 10th WSEAS international conference on Applied computer science
A rule-based implementation of fuzzy tableau reasoning
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Time-oriented question answering from clinical narratives sing semantic-web techniques
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Expert Systems with Applications: An International Journal
Supporting role based provisioning with rules using OWL and F-logic
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
A approach to clinical proteomics data quality control and import
ITBAM'11 Proceedings of the Second international conference on Information technology in bio- and medical informatics
DC proposal: towards a framework for efficient query answering and integration of geospatial data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Combining safe rules and ontologies by interfacing of reasoners
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Stable model theory for extended RDF ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
On the properties of metamodeling in OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The loop formula based semantics of description logic programs
Theoretical Computer Science
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A controlled natural language layer for the semantic web
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Verifying OWL and ORL ontologies in PVS
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Supporting ontology-based semantic matching of web services in movilog
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
oMAP: combining classifiers for aligning automatically OWL ontologies
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Enabling real world semantic web applications through a coordination middleware
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Mining the semantic web: a logic-based methodology
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Dental decision making on missing tooth represented in an ontology and rules
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
ILP meets knowledge engineering: a case study
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Representing transitive propagation in OWL
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
f-SWRL: a fuzzy extension of SWRL
Journal on Data Semantics VI
Integrating semantic business policy into web service composition
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Automating belief revision for agentspeak
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
An adaptive rule-based approach for managing situation-awareness
Expert Systems with Applications: An International Journal
Verifying resource requirements for ontology-driven rule-based agents
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Sorted hyper-predicate knowledge bases for ontologies and rules
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Semantically-enhanced authoring of defeasible logic rule bases in the semantic web
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
International Journal of Metadata, Semantics and Ontologies
Semantic Matching Framework for handicap situation detection in smart environments
Journal of Ambient Intelligence and Smart Environments
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Context-based scene recognition from visual data in smart homes: an Information Fusion approach
Personal and Ubiquitous Computing
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
An ontology-based personalized target advertisement system on interactive TV
Multimedia Tools and Applications
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
| Hi-index | 0.01 |
Although the OWLWeb 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. Wepresent ORL (OWL Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. ORL extends OWL in a syntactically and semantically coherent manner: the basic syntax for ORL rules is an extension of the abstract syntax for OWL DL and OWLLite; ORL rules are given formal meaning via an extension of the OWLDL model-theoretic semantics; ORL rules are given an XML syntax basedon the OWL XML presentation syntax; and a mapping from ORL rules to RDF graphs is given based on the OWL RDF/XML exchange syntax. Wediscuss the expressive power of ORL, showing that the ontology consistency problem is undecidable, provide several examples of ORLusage, and discuss how reasoning support for ORL might be provided.