DLOG 2003 - PDF Preprint Papers

DLOG 2003

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DLOG-2003 Paper

click to vote

DLOG
2003

173views Automated Reasoning» more DLOG 2003»

Conceptual Modeling with Description Logics

13 years 5 months ago

Download teacode.com

The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...

Alexander Borgida, Ronald J. Brachman

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	173	Conceptual Modeling with Description Logics	claim
2	166	Description Logic Systems	claim
3	164	Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents	claim
4	160	Expressive Description Logics	claim
5	154	Applying Description Logic to Product Behavioral Design within Advanced CAD Systems	claim
6	152	Incremental Query Answering for Implementing Document Retrieval Services	claim
7	151	Wine Agent: Semantic Web Testbed Application	claim
8	141	Fixpoint Extensions of Temporal Description Logics	claim
9	140	Status Report on Description Logics related Project in Korea	claim
10	134	Computing Least Common Subsumers for FLE+	claim
11	133	Comparing Natural Language Documents: a DL Based Approach	claim
12	133	An Introduction to Description Logics	claim
13	129	Implementing Matching in ALE--First Results	claim
14	128	Detecting Inconsistencies between UML Models Using Description Logic	claim
15	125	Relationships with other Formalisms	claim
16	124	Reasoning about Nominals with FaCT and RACER	claim
17	119	Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles	claim
18	118	Distributed Search in the Semantic Web	claim
19	115	From Description Logic Provers to Knowledge Representation Systems	claim
20	114	Complexity of Reasoning	claim
21	113	Basic Description Logics	claim
22	107	Modeling Software	claim
23	106	Extensions to Description Logics	claim
24	106	Explanation of Terminological Reasoning: A Preliminary Report	claim
25	105	Rewriting Aggregate Queries using Description Logic	claim
26	105	RDFS(FA): A DL-ised Sub-language of RDFS	claim
27	103	Handling Boolean A Boxes	claim
28	101	Visualising a DL Knowledge Base with DeLogViz	claim
29	101	e-Service Composition by Description Logics Based Reasoning	claim
30	101	Rule Based Computation of Updates to Terminologies	claim
31	99	Natural Language Processing	claim
32	99	DL Reasoner vs. First-Order Prover	claim
33	98	Reasoning on UML Class Diagrams is EXPTIME-hard	claim
34	98	Medical Informatics	claim
35	84	Description Logic Terminology	claim
36	81	Query Evaluation over Networks of Logic-based Mediators (Position Paper)	claim
37	81	Index Selection for Embedded Control Applications using Description Logics	claim
38	70	E-connections of Description Logics	claim
39	67	Digital Libraries and Web-based Information Systems	claim
40	60	From Lexicon To Mammographic Ontology: Experiences and Lessons	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers