Loading data into description reasoners
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Using reasoning to guide annotation with gene ontology terms in GOAT
ACM SIGMOD Record
Exploring Williams--Beuren syndrome using myGrid
Bioinformatics
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Using OWL to model biological knowledge
International Journal of Human-Computer Studies
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Understanding Semantic Web Applications
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Usability Issues in Description Logic Knowledge Base Completion
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
OntoComP: A Protégé Plugin for Completing OWL Ontologies
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
Completing description logic knowledge bases using formal concept analysis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Journal of Ambient Intelligence and Smart Environments
How many legs do i have?: non-simple roles in number restrictions revisited
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Modeling and querying graphical representations of statistical data
Web Semantics: Science, Services and Agents on the World Wide Web
Talking biology in logic, and back
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
e-Science and the semantic web: a symbiotic relationship
DS'06 Proceedings of the 9th international conference on Discovery Science
Journal of Ambient Intelligence and Smart Environments
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
We show how state-of-the-art Semantic Web technology can be used in e-Science, in particular, to automate the classification of proteins in biology. We show that the resulting classification was of comparable quality to that performed by a human expert, and how investigations using the classified data even resulted in the discovery of significant information that had previously been overlooked, leading to the identification of a possible drug-target.