A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalence of datalog queries is undecidable
Journal of Logic Programming
Information and Computation
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
ACM Transactions on Database Systems (TODS)
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
The Description Logic Handbook
The Description Logic Handbook
A scheme for integrating concrete domains into concept languages
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
Automatic matchmaking of web services
Proceedings of the 15th international conference on World Wide Web
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
Preference-based selection of highly configurable web services
Proceedings of the 16th international conference on World Wide Web
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On marrying ontological and metamodeling technical spaces
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Ontologies and the semantic web
Communications of the ACM - Surviving the data deluge
Semantic specification and evaluation of bids in web-based markets
Electronic Commerce Research and Applications
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Personalization Using Ontologies and Rules
AH '08 Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Rules and Ontologies for the Semantic Web
Reasoning Web
Ontology-Based Geospatial Data Query and Integration
GIScience '08 Proceedings of the 5th international conference on Geographic Information Science
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Ranking semantic information for e-government: complaints management
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
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
Description Logic Reasoning with Decision Diagrams
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
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
Proceedings of the 2009 ACM symposium on Applied Computing
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Formalizing ICD coding rules using Formal Concept Analysis
Journal of Biomedical Informatics
Hybrid Reasoning with Forest Logic Programs
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
A Reasoner for Simple Conceptual Logic Programs
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Goal-Directed Module Extraction for Explaining OWL DL Entailments
ISWC '09 Proceedings of the 8th International Semantic Web Conference
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions
Multimedia Tools and Applications
Reconciling description logics and rules
Journal of the ACM (JACM)
Well-founded semantics for hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Hybrid reasoning with rules and constraints under well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
OWL-S atomic services composition with SWRL rules
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Using a lightweight ontology of heart electrophysiology in an interactive web application
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Semantic-based authorization architecture for Grid
Future Generation Computer Systems
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Scalable and efficient reasoning for enforcing role-based access control
DBSec'10 Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy
XSWRL, an Extended Semantic Web Rule Language and prototype implementation
Expert Systems with Applications: An International Journal
Development of a method for ontology-based empirical knowledge representation and reasoning
Decision Support Systems
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
Relationships and data sanitization: a study in scarlet
Proceedings of the 2010 workshop on New security paradigms
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Expert Systems with Applications: An International Journal
Semantic Web-Based Management of Routing Configurations
Journal of Network and Systems Management
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Ontology-based software product line for building semantic web applications
Proceedings of the 2010 Workshop on Knowledge-Oriented Product Line Engineering
Towards managing software architectures with ontologies
Graph transformations and model-driven engineering
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Semantic technologies for describing measurement data in databases
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Towards custom cloud services: using semantic technology to optimize resource configuration
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
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
Incremental reasoning over multiple ontologies
WAIM'11 Proceedings of the 12th international conference on Web-age information management
Paraconsistent semantics for hybrid MKNF knowledge bases
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Exploiting OWL reasoning services to execute ontologically-modeled clinical practice guidelines
AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
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
Combining RDF and part of OWL with rules: semantics, decidability, complexity
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Semantically enhanced matchmaking of consumers and providers: a Canadian real estate case study
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
iSeM: approximated reasoning for adaptive hybrid selection of semantic services
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Categorize by: deductive aggregation of semantic web query results
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
R2RIF - rule integration plugin for protégé OWL
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
A non-monotonic expressiveness extension on the semantic web rule language
Journal of Web Engineering
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
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Moving beyond SameAs with PLATO: partonomy detection for linked data
Proceedings of the 23rd ACM conference on Hypertext and social media
International Journal of Metadata, Semantics and Ontologies
Modelling structured domains using description graphs and logic programming
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Extending description logic rules
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
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
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
SensorStream: a semantic real-time stream management system
International Journal of Ad Hoc and Ubiquitous Computing
Recent advances in integrating OWL and rules (technical communication)
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A tableau algorithm for description logics with nominal schema
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Modelling highly symmetrical molecules: linking ontologies and graphs
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
A hybrid reasoning mechanism for effective sensor selection for tasks
Engineering Applications of Artificial Intelligence
A delayed splitting bottom-up procedure for model generation
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Ontology-Based Image Annotation by Leveraging Social Context
International Journal of Handheld Computing Research
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining
International Journal on Semantic Web & Information Systems
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
A knowledge-based formalization of UBL processes using hybrid programs
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
Towards an efficient algorithm to reason over description logics extended with nominal schemas
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Introducing inference-driven OWL ABox enrichment
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Query rewriting under query refinements
Knowledge-Based Systems
Datalog-based framework for efficient query answering over fuzzy ontologies
International Journal of Metadata, Semantics and Ontologies
Towards adaptive normative systems for communities of agents
Web Intelligence and Agent Systems - Web Intelligence and Communities
Hi-index | 0.01 |
Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the Semantic Web; however, it might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in the rule body. We discuss the expressive power of such a combination and present an algorithm for query answering in the related logic SHIQ extended with DL-safe rules, based on a reduction to disjunctive programs. sjunctive programs.