Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2008
Order by: name | date | hits [descendent]
Documents in this subcategory Date added
On the Scalability of Description Logic Instance Retrieval (652.1 Kbytes) hot! 2008-10-20

V. Haarslev and R. Möller.  

Journal of Automated Reasoning. 2008

hits: 614
Tableau-based Reasoning (307.61 Kbytes) hot! 2008-10-20

R. Möller and V. Haarslev

Handbook of Ontologies. Editors: S. Staab and R. Studer. Springer. 2008 

hits: 563
Ontology-based Reasoning Techniques for Multimedia Interpretation and Retrieval (1.45 Mbytes) hot! 2008-10-20

R. Möller and B. Neumann

Semantic Multimedia and Ontologies: Theory and Applications. Springer. 2008

hits: 629
Island Reasoning for ALCHI Ontologies (301.69 Kbytes) hot! 2008-10-20

S. Wandelt and R. Möller

In Proceedings of the 5th International Conference on Formal Ontology in Information Systems (FOIS 2008)

hits: 666
Pushing the EL Envelope Further (175.68 Kbytes) hot! 2008-10-21

Franz Baader, Sebastian Brandt, and Carsten Lutz.
In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.

hits: 628
LTL over Description Logic Axioms (161 Kbytes) hot! 2008-10-21

Franz Baader, Silvio Ghilardi, and Carsten Lutz.
In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008), 2008.

hits: 590
Automata-Based Axiom Pinpointing (513.25 Kbytes) hot! 2008-10-21

Franz Baader and Rafael Penaloza.
Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), number 5195 in LNAI. Springer, 2008.

hits: 611
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ (222.6 Kbytes) hot! 2008-10-21

Franz Baader and Boontawee Suntisrivaraporn.
In Proceedings of the 3rd Knowledge Representation in Medicine Conference (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, 2008.

hits: 641
Answering conjunctive queries in the SHIQ description logic (501.28 Kbytes) hot! 2008-10-21

Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler.
Journal of Artificial Intelligence Research
, 31:150197, 2008.

hits: 626
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes (183.76 Kbytes) hot! 2008-10-21

Christoph Haase and Carsten Lutz. 
Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 2529. IOS Press, 2008.

hits: 623
Logical Difference and Module Extraction with CEX and MEX (405.25 Kbytes) hot! 2008-10-21

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
In Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.

hits: 605
Semantic Modularity and Module Extraction in Description Logics (413.44 Kbytes) hot! 2008-10-21

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. 
Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 5559. IOS Press, 2008.

hits: 614
Two Upper Bounds for Conjunctive Query Answering in SHIQ (168.05 Kbytes) hot! 2008-10-21

Carsten Lutz.
In Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.

hits: 648
The Complexity of Conjunctive Query Answering in Expressive Description Logics (245.95 Kbytes) hot! 2008-10-21

Carsten Lutz.
In Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNAI, pages 179193. Springer, 2008.

hits: 623
Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies (601.21 Kbytes) hot! 2008-10-21

Boontawee Suntisrivaraporn.
In Proceedings of the 5th European Semantic Web Conference (ESWC'08), volume 5021 of Lecture Notes in Computer Science, pages 230244. Springer-Verlag, 2008.

hits: 761
Formalising Temporal Constraints on Part-Whole Relations (277.52 Kbytes) hot! 2008-10-22

A Artale, N Guarino, and CM Keet

11th international Conference on Knowledge Representation and Reasoning (KR'08). AAAI Press, pp673-683

hits: 636
Representing and Reasoning over a Taxonomy of Part-Whole Relations (562.14 Kbytes) hot! 2008-10-22

CM Keet and A Artale.
Applied Ontology, 2008, 3(1-2): 91-110

hits: 737
A formal comparison of conceptual data modeling languages (342.38 Kbytes) hot! 2008-10-22

CM Keet
Proceedings of EMMSAD'08. CEUR-WS Vol 337, pp25-39

hits: 783
Toward cross-granular querying over modularized ontologies (0 bytes) hot! 2008-10-22

CM Keet
Workshop on Ontologies: Reasoning and Modularity (WORM'08). CEUR-WS Vol 348, pp6-17.

hits: 627
cuen_horr_kaza_satt_JAIR_2008 (634.07 Kbytes) hot! 2008-10-24
B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular Reuse of Ontologies: Theory and Practice. Journal of Artificial Intelligence Research (JAIR), Vol. 31, pages 273-318, 2008.
hits: 804
<< Start < Prev 1 2 Next > End >>

DocMan 1.2.3 - 17/06/2004 - © 2003-2004 DocMan dev team

2005-2007 TONES - Thinking Ontologies
1