Modelling Structured Domains Using Description Graphs and Logic Programming.

Modelling Structured Domains Using Description Graphs and Logic Programming.

অন্যান্য সংস্করণ প্রদর্শন করুন (1)

OWL 2 is widely used to describe complex objects such as chemical molecules; however, OWL 2 axioms cannot represent `structural' features of chemical entities such as having a ring. A combination of OWL 2, rules and <em>description graphs</em> (DGs) has been suggested as a possible...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Magka, D, Motik, B, Horrocks, I
বিন্যাস:	Conference item
প্রকাশিত:	CEUR 2012

অনুরূপ উপাদানগুলি

Modelling Structured Domains Using Description Graphs and Logic Programming.
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2012)

Classifying Chemicals Using Description Graphs and Logic Programming
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2012)

Chemical Knowledge Representation with Description Graphs and Logic Programming
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2011)

Chemical knowledge representation with description graphs and logic programming.
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2011)

Representing ontologies using description logics, description graphs, and rules.
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2009)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2009)

Acyclicity Conditions and their Application to Query Answering in Description Logics
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2012)

Combining Description Logics, Description Graphs, and Rules.
অনুযায়ী: Motik, B
প্রকাশিত: (2010)

Individual Reuse in Description Logic Reasoning.
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2008)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2015)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
অনুযায়ী: Magka, D, অন্যান্য
প্রকাশিত: (2011)

Optimized Reasoning in Description Logics Using Hypertableaux.
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2007)

Hypertableau Reasoning for Description Logics
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2014)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2008)

Optimized Description Logic Reasoning via Core Blocking.
অনুযায়ী: Glimm, B, অন্যান্য
প্রকাশিত: (2010)

Optimized Description Logic Reasoning via Core Blocking
অনুযায়ী: Glimm, B, অন্যান্য
প্রকাশিত: (2010)

Consequence-based and fixed-parameter tractable reasoning in description logics
অনুযায়ী: Simancik, F, অন্যান্য
প্রকাশিত: (2014)

Rewriting Conjunctive Queries under Description Logic Constraints
অনুযায়ী: Pérez−Urbina, H, অন্যান্য
প্রকাশিত: (2008)

Description Logic Programs: Combining Logic Programs with Description Logic
অনুযায়ী: Grosof, Benjamin, অন্যান্য
প্রকাশিত: (2004)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases
অনুযায়ী: Pérez−Urbina, H, অন্যান্য
প্রকাশিত: (2008)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
অনুযায়ী: Pérez-Urbina, H, অন্যান্য
প্রকাশিত: (2008)

Tractable query answering and rewriting under description logic constraints.
অনুযায়ী: Pérez-Urbina, H, অন্যান্য
প্রকাশিত: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
অনুযায়ী: Pérez−Urbina, H, অন্যান্য
প্রকাশিত: (2009)

Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report)
অনুযায়ী: Pérez−Urbina, H, অন্যান্য
প্রকাশিত: (2008)

The Representation of Structured Objects in DLs using Description Graphs
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2008)

Consequence-based reasoning for description logics with disjunctions and number restrictions
অনুযায়ী: Bate, A, অন্যান্য
প্রকাশিত: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
অনুযায়ী: Bate, A, অন্যান্য
প্রকাশিত: (2018)

Can OWL and Logic Programming Live Together Happily Ever After?
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2006)

Representing Structured Objects using Description Graphs
অনুযায়ী: Motic, B, অন্যান্য
প্রকাশিত: (2008)

Reconciling description logics and rules.
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2010)

Ontology−Based Classification of Molecules: a Logic Programming Approach
অনুযায়ী: Magka, D
প্রকাশিত: (2012)

Description logics
অনুযায়ী: Krötzsch, M, অন্যান্য
প্রকাশিত: (2013)

Streaming partitioning of RDF graphs for datalog reasoning
অনুযায়ী: Ajileye, T, অন্যান্য
প্রকাশিত: (2021)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
অনুযায়ী: Motik, B
প্রকাশিত: (2012)