CORE Scholar CORE Scholar

No abstract is available for this paper.

• Publication year

  2020

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• ELP: Tractable Rules for OWL 2

  2008cited by this paper
• Rewriting Rules into SROIQ Axioms

  2008cited by this paper
• All Elephants are Bigger than All Mice

  2008cited by this paper
• Complexity Boundaries for Horn Description Logics

  2007cited by this paper
• The Even More Irresistible SROIQ

  2006cited by this paper
• Pushing the EL Envelope

  2005influential reference
• A proposal for an owl rules language

  2004cited by this paper
• Query Answering for OWL-DL with Rules

  2004cited by this paper
• Web ontology reasoning with logic databases

  2004cited by this paper
• The Description Logic Handbook: Theory, Implementation and Applications

  2003cited by this paper
• Description logic programs: combining logic programs with description logic

  2003influential reference
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper
• On the decidability of query containment under constraints

  1998cited by this paper
• Combining Horn Rules and Description Logics in CARIN

  1998cited by this paper
• Complexity and expressive power of logic programming

  1997cited by this paper

• An MDE-based methodology for closed-world integrity constraint checking in the semantic web

  2022cites this paper
• Published Titles

  2021cites this paper
• Ganzheitliches ontologiebasiertes Wissensmanagement im Umfeld der industriellen Produktion

  2020influential citation
• Mina: SeMantic vIrtual Assistant for Domain oNtology Based Question-Answering

  2020cites this paper
• A Semantic-Based Policy Analysis Solution for the Deployment of NFV Services

  2019cites this paper
• Model Comparison Games for Horn Description Logics

  2019cites this paper
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment

  2019cites this paper
• 1-1-2009 Ontologies and Rules

  2018cites this paper
• Knowledge representation, storage and retrieval for BIM supported building evacuation design

  2018influential citation
• A practical approach to modelling and validating integrity constraints in the Semantic Web

  2018cites this paper
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment (Extended Version)

  2018cites this paper
• 2-1-2008 Approximate OWL Instance Retrieval with Screech

  2017cites this paper
• On explaining inconsistencies in multi-context streams as support for the human user

  2017cites this paper
• Rendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI

  2017cites this paper
• Developing human family tree using SWRL rules

  2016cites this paper
• Semantic validation of environmental observations data

  2016cites this paper
• On updates of hybrid knowledge bases composed of ontologies and rules

  2015cites this paper
• Scalable Maintenance of Knowledge Discovery in an Ontology Stream

  2015cites this paper
• A brief guided tour along the borders of Logic Programming with Description Logics

  2015cites this paper
• Nonmonotonic Nominal Schemas Revisited

  2015cites this paper
• Reasoning with Forest Logic Programs Using Fully Enriched Automata

  2015cites this paper
• Conjunctive Query Programming: A Paradigm for Knowledge Engineering of Optimization Problems in the Semantic Web

  2014cites this paper
• Ontology Enhancement through Inductive Decision Trees

  2013cites this paper
• Answering over Contextualized RDF / OWL Knowledge with Expressive Bridge Rules : Decidable Classes 1

  2013cites this paper
• CS 2210: Logic for Computer Scientists Description Logics

  2013cites this paper
• Linked Data and the Semantic Web Standards

  2013cites this paper
• Concerning OWL and Rules

  2013cites this paper
• Enhancing Description Logics for Rules Coverage

  2012cites this paper
• Extending Description Logic Rules

  2012cites this paper
• Uniform Evaluation of Nonmonotonic DL-Programs

  2012cites this paper
• Semantic Web Services Fundamentals

  2012cites this paper
• Using OWL and SWRL for the Semantic Analysis of XML Resources

  2012cites this paper
• Enriching step-based product information models to support product life-cycle activities

  2012cites this paper
• A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics

  2011cites this paper
• Reasoning with Forest Logic Programs and f-hybrid knowledge bases*†

  2011influential citation
• Chapter 6 Semantic Web Services Fundamentals

  2011cites this paper
• Combining open and closed world reasoning for the semantic web

  2011cites this paper
• Description logic rule and process algebra based OWL-S modeling, matching and composition

  2011cites this paper
• Using decision trees for inductively driven semantic integration and ontology matching

  2011cites this paper
• Rule-based Query Answering Method for a Knowledge Base of Economic Crimes

  2011cites this paper
• Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

  2010cites this paper
• An Optimization for Reasoning with Forest Logic Programs

  2010cites this paper
• F-Logic#: Loosely Coupling F-Logic Rules and Ontologies

  2010influential citation
• DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs

  2010influential citation
• OWL 2 - Theory and Practice

  2010cites this paper
• Semantic Web Service Modeling and Composition Based on Description Logic Rule

  2009cites this paper
• Information and Communication Technologies D3.1.3 Defining the Features of the Wsml-dl V2.0 Language Activity N: Activity 2 -core Research and Development Work Package: Wp3 -service Annotation and Reasoning

  2009cites this paper
• The Largest DLP Possible Technical Report – Version 2 . 1 ⋆

  2009cites this paper
• A Solution for the Man-Man Problem in the Family History Knowledge Base

  2009cites this paper
• Suggestions for OWL 3

  2009cites this paper
• Ontologies and Rules

  2009cites this paper
• Lightweight Rule Extended Ontology Languages

  2009cites this paper
• A Reasoner for Simple Conceptual Logic Programs

  2009cites this paper
• A Matter of Principles: Towards the Largest DLP Possible

  2009cites this paper
• Hybrid Reasoning with Forest Logic Programs

  2009cites this paper
• SIMPLE CONCEPTUAL LOGIC PROGRAMS

  2008cites this paper
• A Sound and Complete Algorithm for Simple Conceptual Logic Programs

  2008cites this paper
• ALPSWS 2008: Applications of Logic Programming to the (Semantic) Web and Web Services

  2008cites this paper