sign in · help · news · about ·

BibSonomy :: tag ::
order by ( date | folkrank )

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(56)

<< < 1 | 2 | 3 > >>

AKSW : Projects / DL Learner / One Page Introduction
to DL logic machine-learning by arademaker and 1 other user on Nov 14, 2010, 4:13 AM
(0)
SpringerLink - Journal Article
to dl by tomter on Mar 15, 2010, 10:30 PM
(0)
Pronto—A Probabilistic Reasoner for OWL DL and Pellet
to DL probabilistic reasoner by arademaker and 1 other user on Mar 5, 2010, 1:22 PM
(0)
CRC Press Online - Book: Theories of Geographic Concepts
to applications cg dl fca geographic knowledge nlp ontologies representation by obj on Feb 4, 2010, 8:25 AM
(0)
AKSW : Projects / DL Learner
to DL owl protege rdf by arademaker and 2 other users on Dec 17, 2009, 10:43 AM
(0)
The Logics Workbench
to DL theorem-prover by arademaker on May 7, 2009, 10:22 PM
(0)
Diego Calvanese's Home Page
to DL people by arademaker and 1 other user on May 5, 2009, 5:44 PM
(0)
Tones Project
to DL ontology by arademaker and 1 other user on May 4, 2009, 11:24 PM
(0)
alphaWorks : Scalable Highly Expressive Reasoner
to DL ontology reasoning by arademaker and 1 other user on May 4, 2009, 6:48 PM
(0)
Home Page of Silvio Ghilardi
to DL logic people by arademaker on Apr 16, 2009, 2:34 AM
(0)
CEL :: a polynomial-time Classifier for the description logic EL+
to DL theorem-prover by arademaker on Apr 5, 2009, 3:58 PM
(0)
Formalizing the Description Logic ALC in PVS
to DL pvs by arademaker on Mar 18, 2009, 5:17 PM
(0)
Carsten Lutz
to DL people by arademaker on Feb 24, 2009, 9:53 PM
(0)
Home Page for Alex Borgida
to DL people by arademaker on Feb 24, 2009, 12:38 AM
(0)
Mindswap Homepage
to DL semantic-web by arademaker and 11 other users on Jan 2, 2009, 9:26 PM
(0)
Ian Horrocks : Oxford University Computing Laboratory
to DL people by arademaker on Dec 30, 2008, 10:32 PM
(0)
DL Course
to dl tutorial by casi and 11 other users on Dec 18, 2008, 6:16 PM
(0)
Peter F. Patel-Schneider's home page
to DL people theorem-prover by arademaker and 1 other user on Dec 2, 2008, 1:01 PM
(0)
Pellet: The Open Source OWL DL Reasoner
to DL owl by arademaker and 1 other user on Nov 21, 2008, 4:05 PM
(0)
AKSW : Projects / DL Learner
to dl learning ml owl semantic web by hotho and 2 other users on Oct 13, 2008, 8:14 PM
(0)

<< < 1 | 2 | 3 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(98)

<< < 1 | 2 | 3 > >>

Reasoning with Inconsistent OWL Ontologies for Software Reuse
Songxin Wang Software Engineering, 2009. WCSE '09. WRI World Congress on, 2, page 113 -116. (May 2009)
to DL OWL Java by sjbutler on May 14, 2011, 12:24 PM
BibTeX (0)
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen Journal of Web Semantics (2003)
to DL ontology owl by utahell and 14 other users on Feb 11, 2011, 11:26 AM
BibTeX (0)
Representing ontologies using description logics, description graphs, and rules
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, and Ulrike Sattler Artificial Intelligence 173(14):1275 - 1309 (2009)
to DL OWL descriptionlogics by jipbeanj and 3 other users on Sep 8, 2010, 10:39 AM
URL | DOI | BibTeX (0)
Applying Formal Concept Analysis to Description Logics.
Franz Baader, and Baris Sertkaya Concept Lattices, volume 2961 of Lecture Notes in Computer Science, page 261--286. Berlin/Heidelberg, Springer, (2004)
to analysis concept description dl fca formal logic logics by jaeschke and 4 other users on Jun 30, 2010, 10:40 AM
URL | DOI | BibTeX (0)
Conceptual Modeling with Description Logics
Borgida, and Brachman The Description Logic Handbook: Theoryand Implementationand and Applications, Cambridge University Press, (2003)
to conceptual dl modeling ontology proj:o4p by wnpxrz and 3 other users on May 15, 2010, 11:53 PM
BibTeX (0)
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data.
Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, and Petko Valtchev ICFCA, volume 4390 of Lecture Notes in Computer Science, page 51-65. Springer, (2007)
to dl fca mining relation by obj and 2 other users on Apr 25, 2010, 9:31 AM
URL | BibTeX (0)
Named Graphs as a Mechanism for Reasoning about Provenance
E. Rowland Watkins, and Denis A. Nicole (2006)
to dl namedgraph owl proj:o4p reasoning toread by wnpxrz and 3 other users on Apr 17, 2010, 10:32 PM
URL | BibTeX (0)
CARIN: A Representation Language Combining Horn Rules and Description Logics.
Alon Y. Levy, and Marie-Christine Rousset ECAI, page 323-327. John Wiley and Sons, Chichester, (1996)
to DL InfromationIntegration by alexjdl and 1 other user on Mar 5, 2010, 4:10 PM
URL | BibTeX (0)
Description Logic Knowledge Bases using Formal Concept Analysis
F. Baader, B. Ganter, B.Sertkaya, and U. Sattler Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI'07, page 230--235. (2007)
to dl fca knowledge by obj and 1 other user on Feb 24, 2010, 10:55 PM
BibTeX (0)
Merging Expressive Ontologies Using Formal Concept Analysis.
Olivier Curé OTM Workshops, volume 5872 of Lecture Notes in Computer Science, page 49-58. Springer, (2009)
to dl fca merging ontologies by obj and 1 other user on Jan 27, 2010, 7:00 AM
URL | BibTeX (0)
Expressive Description Logics via SAT: The Story so Far
Francis Gasse, and Volker Haarsley (2009)to appear in SMT Workshop .
to DL SAT, SMT, by arademaker on Jan 26, 2010, 3:49 PM
BibTeX (0)
Completing Description Logic Knowledge Bases using Formal Concept Analysis.
Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya OWLED, volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)
to dl fca by obj and 9 other users on Jan 14, 2010, 11:06 PM
URL | BibTeX (0)
A Finite Basis for the Set of EL-Implications Holding in a Finite Model.
Franz Baader, and Felix Distel ICFCA, volume 4933 of Lecture Notes in Computer Science, page 46-61. Springer, (2008)
to dl exploration fca by obj and 2 other users on Jan 8, 2010, 9:25 AM
URL | BibTeX (0)
Exploring Finite Models in the Description Logic .
Franz Baader, and Felix Distel ICFCA, volume 5548 of Lecture Notes in Computer Science, page 146-161. Springer, (2009)
to AttributeExploration dl ontology by jwollbold and 1 other user on Dec 14, 2009, 11:54 AM
URL | BibTeX (0)
Description Logics for Information Integration
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 41--60. Springer Berlin / Heidelberg, (2002)
to DL InformationIntegration integration by alexjdl and 1 other user on Nov 25, 2009, 4:02 PM
URL | DOI | BibTeX (0)
The Description Logic Handbook: Theory, Implementation and Applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider Cambridge University Press, (2003)
to book dl by rogargon and 16 other users on Nov 11, 2009, 12:12 AM
BibTeX (0)
Pellet: A practical OWL-DL reasoner
Evren Sirin, Bijan Parsia, Bernardo Grau, Aditya Kalyanpur, and Yarden Katz Journal of Web Semantics 5(2):51--53 (2007)
to dl reasoner {SemanticWeb} by rogargon and 8 other users on Nov 11, 2009, 12:12 AM
URL | BibTeX (0)
The evolutionary consequences of erroneous protein synthesis
D Allan Drummond, and C O Wilke Nature Reviews Genetics 10(10):715-724 (October 2009)
to dl evolution imported molecular review by ebo on Sep 20, 2009, 9:04 PM
URL | DOI | BibTeX (0)
Hantavirus evolution in relation to its rodent and insectivore hosts: no evidence for codivergence
Ramsden, E C Holmes, and M A Charleston Molecular Biology and Evolution 26(1):143-153 (January 2009)
to BEAST Bayesian coalescent coevolution dl hc imported lab_meeting phylogenetics zoonotic by ebo on Sep 16, 2009, 9:44 PM
URL | DOI | BibTeX (0)
Perspective: Evolution and detection of genetic robustness
J A de Visser, J Hermisson, G P Wagner, L Ancel Meyers, H Bagheri-Chaichian, J L Blanchard, L Chao, J M Cheverud, S F Elena, W Fontana, G Gibson, T F Hansen, D Krakauer, R C Lewontin, C Ofria, S H Rice, G von Dassow, A Wagner, and M C Whitlock Evolution 57(9):1959-1972 (September 2003)
to dl evolution imported robustness by ebo on Sep 16, 2009, 4:21 AM
URL | BibTeX (0)

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper