DLOG 1996 - PDF Preprint Papers

DLOG 1996

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DLOG-1996 Paper

click to vote

DLOG
1996

174views Automated Reasoning» more DLOG 1996»

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report

12 years 11 months ago

Download www.inf.unibz.it

Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...

Franz Baader, Ulrike Sattler

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	174	Number Restrictions on Complex Roles in Description Logics: A Preliminary Report	claim
2	173	DLMS: An Evaluation of KL-ONE in the Automobile Industry	claim
3	163	Can Description Logics Be Used in Real-Life Knowledge-Based Systems?	claim
4	150	Towards a Legal Reasoning System based on Description Logics: A Position Paper	claim
5	140	Using Description Logic for Reasoning about Diagrammatical Notations	claim
6	138	The Algebraic Essence of K-Rep	claim
7	137	Finite Model Reasoning in Description Logics	claim
8	127	Class Algebra as a Description Logic	claim
9	127	A Deductive Study of the C-CLASSICde Description Logic	claim
10	114	A New Method for Testing Decision Procedures in Modal and Terminological Logics	claim
11	112	Asking Queries about Frames	claim
12	112	A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System	claim
13	111	Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents	claim
14	109	Object-Oriented Programming Support for CLASSIC	claim
15	109	A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS	claim
16	108	Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement	claim
17	107	A Proposal for a Glass-Box Approach for Subsumption Checking	claim
18	103	Knowledge Representation in Process Engineering	claim
19	102	The Use of Description Logics in the Condorcet Conceptual Information Retrieval System	claim
20	99	The K-Rep System Architecture	claim
21	97	Representing SGML Documents in Description Logics	claim
22	95	Switching Terminologies - Creating a New View of An Old World: Preliminary Report	claim
23	94	An HTML Interface for Classic	claim
24	92	An Approach to Subsumption in a DL with Implication	claim
25	88	Subsumption-Based Matching: Bringing Semantics to Goals	claim
26	88	On the Semantics of Epistemic Description Logics	claim
27	86	Open Problems with Part-Whole Relations	claim
28	83	Using Description Logics for Consistency-based Diagnosis	claim
29	76	An SAT-based Decision Procedure for ALC	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers