Reformulation of XML Queries and Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
Complexity of the Two-Variable Fragment with Counting Quantifiers
Journal of Logic, Language and Information
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
The Description Logic Handbook
The Description Logic Handbook
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Complexity boundaries for horn description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
Extending decidable cases for rules with existential variables
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Efficient inferencing for OWL EL
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Query answering under non-guarded rules in datalog+/-
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Advanced processing for ontological queries
Proceedings of the VLDB Endowment
Description Logic Rules
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
What's happening in semantic web: and what FCA could have to do with it
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Paraconsistent semantics for hybrid MKNF knowledge bases
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Local closed world semantics: grounded circumscription for description logics
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Verifying resource requirements for ontology-driven rule-based agents
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
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
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
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
Very large scale OWL reasoning through distributed computation
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Coupling semantics with things in the internet of the future: a survey
International Journal of Metadata, Semantics and Ontologies
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
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
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.00 |
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like "variable nominal classes" within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(∩, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.