Concrete Results on Abstract Rules

Concrete Results on Abstract Rules

There are many different notions of “rule” in the literature. A key feature and main intuition of any such notion is that rules can be “applied” to derive conclusions from certain premises. More formally, a rule is viewed as a function that, when invoked on a set of known facts, can produce new fact...

书目详细资料
Main Authors:	Krötzsch, M, Magka, D, Horrocks, I
格式:	Conference item
出版:	2013

相似书籍

Computing Stable Models for Nonmonotonic Existential Rules
由: Magka, D, et al.
出版: (2013)

A rule-based ontological framework for the classification of molecules
由: Magka, D, et al.
出版: (2014)

Acyclicity notions for existential rules and their application to query answering in ontologies
由: Grau, B, et al.
出版: (2013)

Acyclicity Conditions and their Application to Query Answering in Description Logics
由: Grau, B, et al.
出版: (2012)

Efficient Rule-Based Inferencing for OWL EL.
由: Krötzsch, M
出版: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2015)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2010)

Classifying Chemicals Using Description Graphs and Logic Programming
由: Magka, D, et al.
出版: (2012)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2011)

Chemical Knowledge Representation with Description Graphs and Logic Programming
由: Magka, D, et al.
出版: (2011)

Modelling Structured Domains Using Description Graphs and Logic Programming.
由: Magka, D, et al.
出版: (2012)

Chemical knowledge representation with description graphs and logic programming.
由: Magka, D, et al.
出版: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
由: Magka, D, et al.
出版: (2011)

Modelling Structured Domains Using Description Graphs and Logic Programming.
由: Magka, D, et al.
出版: (2012)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
由: Krötzsch, M, et al.
出版: (2011)

ELP: Tractable Rules for OWL 2.
由: Krötzsch, M, et al.
出版: (2008)

Description logics
由: Krötzsch, M, et al.
出版: (2013)

A Description Logic Primer
由: Krötzsch, M, et al.
出版: (2012)

Nominal Schemas for Integrating Rules and Description Logics.
由: Krötzsch, M, et al.
出版: (2011)

Algebra : abstract and concrete /
由: 367539 Goodman, Frederick M.
出版: (1998)

Processing of abstract rule violations in audition.
由: Erich Schröger, et al.
出版: (2007-01-01)

Lumpability Abstractions of Rule-based Systems
由: Jerome Feret, et al.
出版: (2010-10-01)

Building with Jelly, or, Concrete as the Concretion of the Abstract
由: Alan Díaz Alva
出版: (2025-02-01)

Faithful rule extraction for differentiable rule learning models
由: Wang, X, et al.
出版: (2024)

Russian dictionary with concreteness/abstractness indices
由: Valery D. Solovyev, et al.
出版: (2022-06-01)

A better uncle for OWL: nominal schemas for integrating rules and ontologies.
由: Krötzsch, M, et al.
出版: (2011)

Ten simple rules for designing graphical abstracts.
由: Helena Klara Jambor, et al.
出版: (2024-02-01)

SOS rule formats for convex and abstract probabilistic bisimulations
由: Pedro R. D'Argenio, et al.
出版: (2015-08-01)

Abstract and concrete concepts in conversation
由: Caterina Villani, et al.
出版: (2022-10-01)

The representation of abstract task rules in the human prefrontal cortex.
由: Bengtsson, S, et al.
出版: (2009)

Algebra : abstract and concrete : stressing symmetry /
由: 367539 Goodman, Frederick M.
出版: (2003)

The Born rule as structure of spectral bundles (extended abstract)
由: Bertfried Fauser, et al.
出版: (2012-10-01)

Abstract rules drive adaptation in the subcortical sensory pathway
由: Alejandro Tabas, et al.
出版: (2020-12-01)

Acyclicity Conditions and their Application to Query Answering in Description Logics
由: Grau, B, et al.
出版: (2012)

Computing CQ lower-bounds over OWL 2 through approximation to RSA: extended abstract
由: Igne, F, et al.
出版: (2021)

Axiomatic Design: Making the Abstract Concrete
由: Nordlund, Mats, et al.
出版: (2017)

A concrete approach to abstract algebra /
由: 344236 Sawyer, Walter Warwick
出版: (1959)