Representing Ontologies Using Description Logics‚ Description Graphs and Rules

Representing Ontologies Using Description Logics‚ Description Graphs and Rules

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Những tác giả chính:	Motik, B, Grau, B, Horrocks, I, Sattler, U
Định dạng:	Journal article
Được phát hành:	2009

Những quyển sách tương tự

Representing ontologies using description logics, description graphs, and rules.
Bằng: Motik, B, et al.
Được phát hành: (2009)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
Bằng: Motik, B, et al.
Được phát hành: (2008)

Representing Structured Objects using Description Graphs
Bằng: Motic, B, et al.
Được phát hành: (2008)

Combining Description Logics, Description Graphs, and Rules.
Bằng: Motik, B
Được phát hành: (2010)

Classifying Chemicals Using Description Graphs and Logic Programming
Bằng: Magka, D, et al.
Được phát hành: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
Bằng: Magka, D, et al.
Được phát hành: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
Bằng: Magka, D, et al.
Được phát hành: (2012)

The Representation of Structured Objects in DLs using Description Graphs
Bằng: Motik, B, et al.
Được phát hành: (2008)

Chemical Knowledge Representation with Description Graphs and Logic Programming
Bằng: Magka, D, et al.
Được phát hành: (2011)

Chemical knowledge representation with description graphs and logic programming.
Bằng: Magka, D, et al.
Được phát hành: (2011)

Reconciling description logics and rules.
Bằng: Motik, B, et al.
Được phát hành: (2010)

Individual Reuse in Description Logic Reasoning.
Bằng: Motik, B, et al.
Được phát hành: (2008)

Hypertableau Reasoning for Description Logics
Bằng: Motik, B, et al.
Được phát hành: (2014)

Optimized Reasoning in Description Logics Using Hypertableaux.
Bằng: Motik, B, et al.
Được phát hành: (2007)

Deciding expressive description logics in the framework of resolution.
Bằng: Hustadt, U, et al.
Được phát hành: (2008)

A Logical Framework for Modularity of Ontologies.
Bằng: Grau, B, et al.
Được phát hành: (2007)

A Logical Framework for Modularity of Ontologies.
Bằng: Grau, B, et al.
Được phát hành: (2007)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
Bằng: Hustadt, U, et al.
Được phát hành: (2007)

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
Bằng: Motik, B, et al.
Được phát hành: (2006)

Optimized Description Logic Reasoning via Core Blocking.
Bằng: Glimm, B, et al.
Được phát hành: (2010)

Optimized Description Logic Reasoning via Core Blocking
Bằng: Glimm, B, et al.
Được phát hành: (2010)

Incremental Classification of Description Logics Ontologies
Bằng: Grau, B, et al.
Được phát hành: (2015)

Incremental Classification of Description Logics Ontologies.
Bằng: Grau, B, et al.
Được phát hành: (2010)

Conjunctive Query Answering for Description Logics with Transitive Roles
Bằng: Glimm, B, et al.
Được phát hành: (2006)

Conjunctive Query Answering for the Description Logic SHIQ
Bằng: Glimm, B, et al.
Được phát hành: (2008)

Conjunctive Query Answering in the Description Logic SHIQ
Bằng: Glimm, B, et al.
Được phát hành: (2007)

Conjunctive Query Answering in the Description Logic SHIQ
Bằng: Glimm, B, et al.
Được phát hành: (2006)

Conjunctive query answering for the description logic SHIQ
Bằng: Glimm, B, et al.
Được phát hành: (2008)

Incremental Classification of Description Logics Ontologies
Bằng: Grau, C, et al.
Được phát hành: (2010)

Computing horn rewritings of description logics ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2015)

Extracting Modules from Ontologies: A Logic−Based Approach
Bằng: Grau, B, et al.
Được phát hành: (2009)

Extracting Modules from Ontologies: A Logic−based Approach
Bằng: Grau, B, et al.
Được phát hành: (2009)

Extracting Modules from Ontologies: A Logic−based Approach
Bằng: Grau, B, et al.
Được phát hành: (2007)

Extracting Modules From Ontologies: A Logic−based Approach
Bằng: Grau, B, et al.
Được phát hành: (2015)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Bằng: Grau, B, et al.
Được phát hành: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Bằng: Grau, B, et al.
Được phát hành: (2012)

Representing Ontology Mappings with Probabilistic Description Logics Programs
Bằng: Calì, A, et al.
Được phát hành: (2008)

Rewriting Conjunctive Queries under Description Logic Constraints
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2008)

Consequence-based and fixed-parameter tractable reasoning in description logics
Bằng: Simancik, F, et al.
Được phát hành: (2014)

Consequence-based reasoning for description logics with disjunctions and number restrictions
Bằng: Bate, A, et al.
Được phát hành: (2018)