Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
An epistemic operator for description logics
Artificial Intelligence
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
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
World news finder: how we cope without the semantic web
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
OntoDB2: support of multiple ontology models within ontology based database
Ph.D. '08 Proceedings of the 2008 EDBT Ph.D. workshop
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
MetaLex XML and the Legal Knowledge Interchange Format
Computable Models of the Law
Rules and Ontologies for the Semantic Web
Reasoning Web
Loopy Propagation in a Probabilistic Description Logic
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Hybrid Reasoning with Forest Logic Programs
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Proposed XML Standards for Law: MetaLex and LKIF
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Collaborative management of web ontology data with flexible access control
Expert Systems with Applications: An International Journal
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Answer set programming for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Towards tractable local closed world reasoning for the semantic web
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
An ontology approach for classification of abnormal white matter in patients with multiple sclerosis
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
Rule definition for managing ontology development
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Tightly integrated probabilistic description logic programs for representing ontology mappings
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Modeling Contexts with Dependent Types
Fundamenta Informaticae
A rule-based implementation of fuzzy tableau reasoning
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
OWLizing: transforming software models to ontologies
Ontology-Driven Software Engineering
Towards hybrid reasoning for verifying and validating multilevel models
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
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
Rewriting queries for web searches that use local expressions
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Monitoring conformance to the internal regulation of an MSc course using ontologies and rules
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
Joint language and domain engineering
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
International Journal of Metadata, Semantics and Ontologies
Learning complex mappings between ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Cascading verification: an integrated method for domain-specific model checking
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Reasoning over 2d and 3d directional relations in OWL: a rule-based approach
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-world semantics of LP. This has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logic programming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logic programming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic of hybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web.