Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Magic templates: a spellbinding approach to logic programs
Journal of Logic Programming
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Description Logic Handbook
The Description Logic Handbook
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A possible simplification of the semantic web architecture
Proceedings of the 13th international conference on World Wide Web
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
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
Ontology oriented programming in go!
Applied Intelligence
Towards Semantic Web agents: Knowledge Web and AgentLink
The Knowledge Engineering Review
IEEE Intelligent Systems
Composition of semantic web services using linear logic theorem proving
Information Systems - Special issue: The semantic web and web services
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Dynamic evolutions based on ontologies
Knowledge-Based Systems
DR-BROKERING: A semantic brokering system
Knowledge-Based Systems
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Explorations in the use of semantic web technologies for product information management
Proceedings of the 16th international conference on World Wide Web
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
Ontology schema for an agent belief store
International Journal of Human-Computer Studies
Forgetting in Managing Rules and Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Probabilistic description logic programs
International Journal of Approximate Reasoning
Semantic Web approach to smart link generation for Web navigations
Software—Practice & Experience
Annotating websites with machine-processable information in controlled natural language
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
International Journal of Electronic Commerce
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
Model-driven design and development of semantic Web service applications
ACM Transactions on Internet Technology (TOIT)
Building place ontologies for the semantic web:: issues and approaches
Proceedings of the 4th ACM workshop on Geographical information retrieval
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Unifying data and domain knowledge using virtual views
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
Towards a general web rule language
International Journal of Web Engineering and Technology
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
A system for modal and deontic defeasible reasoning
Proceedings of the 2008 ACM symposium on Applied computing
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Effective and efficient semantic web data management over DB2
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Translating owl and semantic web rules into prolog: Moving toward description logic programs
Theory and Practice of Logic Programming
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
Query evaluation and optimization in the semantic web
Theory and Practice of Logic Programming
Tuplespace-based computing for the semantic web: A survey of the state-of-the-art
The Knowledge Engineering Review
Combining weights with fuzziness for intelligent semantic web search
Knowledge-Based Systems
A Reasoning Framework for Rule-Based WSML
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: 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
Web-Annotations for Humans and Machines
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Computable Models of the Law
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
DL-FOIL Concept Learning in Description Logics
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Rules and Ontologies for the Semantic Web
Reasoning Web
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
SXRS: An XLink-based Recommender System using Semantic Web technologies
Expert Systems with Applications: An International Journal
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Towards a Scientific Model Management System
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A Flexible Model for Locating Services on the Web
International Journal of Electronic Commerce
Specifying and enforcing high-level semantic obligation policies
Web Semantics: Science, Services and Agents on the World Wide Web
A Semantic Web Reasoner for Rules, Equations and Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximate OWL-Reasoning with Screech
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
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
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
SAOR: Authoritative Reasoning for the Web
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Rule-Based Approaches for Representing Probabilistic Ontology Mappings
Uncertainty Reasoning for the Semantic Web I
Discovery and Uncertainty in Semantic Web Services
Uncertainty Reasoning for the Semantic Web I
DLDB2: A Scalable Multi-perspective Semantic Web Repository
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
A platform for transcoding heterogeneous markup documents using ontology-based metadata
Journal of Network and Computer Applications
Prolog Based Description Logic Reasoning
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
IEICE - Transactions on Information and Systems
Hybrid reasoning in the CARE middleware for context awareness
International Journal of Web Engineering and Technology
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
FO(ID) as an Extension of DL with Rules
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
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
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
Supporting Frameworks for the Geospatial Semantic Web
SSTD '09 Proceedings of the 11th International Symposium on Advances in Spatial and Temporal Databases
Personal and Ubiquitous Computing
Complexity boundaries for horn description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A planning approach for message-oriented semantic web service composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Efficient description logic reasoning in prolog: The dlog system
Theory and Practice of Logic Programming
A semantic framework for personalized ad recommendation based on advanced textual analysis
Proceedings of the third ACM conference on Recommender systems
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Expert Systems with Applications: An International Journal
A Reasoner for Simple Conceptual Logic Programs
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Scalable Web Reasoning Using Logic Programming Techniques
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
On the Ostensibly Silent `W' in OWL 2 RL
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Challenges for Rule Systems on the Web
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Collaborative management of web ontology data with flexible access control
Expert Systems with Applications: An International Journal
Interpreting SWRL Rules in RDF Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
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
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Journal on data semantics VIII
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A semantic framework for language layering in WSML
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
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A semantics-based middleware for utilizing heterogeneous sensor networks
DCOSS'07 Proceedings of the 3rd IEEE international conference on Distributed computing in sensor systems
Proof explanation for the semantic web using defeasible logic
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Answer set programming for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Approximating horn knowledge bases in regular description logics to have PTIME data complexity
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A system for modal and deontic defeasible reasoning
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Probabilistic information integration and retrieval in the semantic web
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Rule definition for managing ontology development
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Acquiring generalized domain-range restrictions
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
dRDF: entailment for domain-restricted RDF
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Journal on data semantics X
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Flexible task resourcing for intelligent agents
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Improved knowledge management through first-order logic in engineering design ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Theory and Practice of Logic Programming
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Reasoning with large ontologies stored in relational databases: The OntoMinD approach
Data & Knowledge Engineering
FO(ID) as an extension of DL with rules
Annals of Mathematics and Artificial Intelligence
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
XSWRL, an Extended Semantic Web Rule Language and prototype implementation
Expert Systems with Applications: An International Journal
Logic programming languages for databases and the web
A 25-year perspective on logic programming
An open platform for business process modeling and verification
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Parametrized logic programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Redundancy elimination on RDF graphs in the presence of rules, constraints, and queries
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
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
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
Authoring business rules grounded in OWL ontologies
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
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
A Prolog-based Query Language for OWL
Electronic Notes in Theoretical Computer Science (ENTCS)
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Proceedings of the 4th International Workshop on Logic in Databases
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Data model for scientific models and hypotheses
The evolution of conceptual modeling
Data & Knowledge Engineering
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Ontologies and tools for analyzing and synthesizing LVC confederations
Winter Simulation Conference
OWL 2 modeling and reasoning with complex human activities
Pervasive and Mobile Computing
Extending XQuery for semantic web reasoning
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Loki: semantic wiki with logical knowledge representation
Transactions on computational collective intelligence III
COROR: a composable rule-entailment owl reasoner for resource-constrained devices
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
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
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
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
Inline evaluation of hybrid knowledge bases PhD description
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
On the web ontology rule language OWL 2 RL
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
Reasoning support for flexible task resourcing
Expert Systems with Applications: An International Journal
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Querying OWL 2 QL and non-monotonic rules
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Extending logic programs with description logic expressions for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Repairing ontologies for incomplete reasoners
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
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
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Decision support for personalization on mobile devices
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Automated reasoning support for first-order ontologies
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
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
Bidirectional mapping between OWL DL and attempto controlled english
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Preferential reasoning on a web of trust
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
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
A novel memory-oriented OWL storage system
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
A bottom-up method for the deterministic horn fragment of the description logic ALC
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
OWL2Jess: a transformational implementation of the OWL semantics
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing 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
Translating description logic queries to prolog
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
The SWRC ontology – semantic web for research communities
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
OWLIM – a pragmatic semantic repository for OWL
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Providing an uncertainty reasoning service for semantic web application
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Ontology driven securities data management and analysis
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Logic programming in knowledge domains
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Integrating datalog with OWL: exploring the AL-log approach
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Description logic reasoning in prolog
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
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
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
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Ontology translation on the semantic web
Journal on Data Semantics II
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A deductive semantic brokering system
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Minerva: a scalable OWL ontology storage and inference system
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
A semantic location service for pervasive grids
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
An hybrid architecture integrating forward rules with fuzzy ontological reasoning
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part I
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
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
The role of spatial relations in automating the semantic annotation of geodata
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Dynamic constraint-based invocation of web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Interoperation between information spaces on the web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Frequent pattern discovery from OWL DLP knowledge bases
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
Querying class-relationship logic in a metalogic framework
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
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
Towards discovery of frequent patterns in description logics with rules
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Extending the sweetdeal approach for e-procurement using sweetrules and RuleML
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Merging and aligning ontologies in dl-programs
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
R2RIF - rule integration plugin for protégé OWL
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform
Proceedings of the 21st international conference companion on World Wide Web
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
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
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
What to ask to an incomplete semantic web reasoner?
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
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
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Foundations of Modal Deductive Databases
Fundamenta Informaticae
A new matchmaking approach based on abductive conjunctive query answering
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
An abductive CQA based matchmaking system for finding renting houses
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
A user and NLP-assisted strategic workflow for a social semantic OWL 2-based knowledge platform
Proceedings of the Workshop on Semantic Analysis in Social Media
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
OWL RL in logic programming: querying, reasoning and inconsistency explanations
RuleML'12 Proceedings of the 6th international conference on Rules on the 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
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
Programming and Computing Software
Data complexity of query answering in description logics
Artificial Intelligence
RDL: enhancing description logic with rules
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Concept Induction in Description Logics Using Information-Theoretic Heuristics
International Journal on Semantic Web & Information Systems
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
Semantics preservation in schema mappings within data exchange systems
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Extensible access control markup language integrated with Semantic Web technologies
Information Sciences: an International Journal
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Making the most of your triple store: query answering in OWL 2 using an RL reasoner
Proceedings of the 22nd international conference on World Wide Web
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
Intelligence distribution for data processing in smart grids: A semantic approach
Engineering Applications of Artificial Intelligence
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Semantator: Semantic annotator for converting biomedical text to linked data
Journal of Biomedical Informatics
HornDL: an expressive horn description logic with PTime data complexity
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RDFS and OWL reasoning for linked data
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Computing datalog rewritings beyond horn ontologies
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.01 |
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL). DLP provides a significant degree of expressiveness, substantially greater than the RDF-Schema fragment of Description Logic. We show how to perform DLP-fusion: the bidirectional translation of premises and inferences (including typical kinds of queries) from the DLP fragment of DL to LP, and vice versa from the DLP fragment of LP to DL. In particular, this translation enables one to "build rules on top of ontologies": it enables the rule KR to have access to DL ontological definitions for vocabulary primitives (e.g., predicates and individual constants) used by the rules. Conversely, the DLP-fusion technique likewise enables one to "build ontologies on top of rules": it enables ontological definitions to be supplemented by rules, or imported into DL from rules. It also enables available efficient LP inferencing algorithms/implementations to be exploited for reasoning over large-scale DL ontologies.