Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
4
views
0
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,347
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Mathematical Knowledge Management
Mathematical Service Matching Using Description Logic and OWL
other
Author(s):
Olga Caprotti
,
Mike Dewar
,
Daniele Turi
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genome Engineering using CRISPR
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 73-87
DOI:
10.1007/978-3-540-27818-4_6
SO-VID:
0b16a67d-9e6d-49ce-b590-353f6fcac720
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Copyright Issues for MKM
pp. 17
Efficient Retrieval of Mathematical Statements
pp. 32
Formalizing Set Theory as it Is Actually Used
pp. 44
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
pp. 58
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics
pp. 73
Mathematical Service Matching Using Description Logic and OWL
pp. 88
C-CoRN, the Constructive Coq Repository at Nijmegen
pp. 104
Classifying Differential Equations on the Web
pp. 116
Managing Heterogeneous Theories within a Mathematical Knowledge Repository
pp. 130
Rough Concept Analysis – Theory Development in the Mizar System
pp. 145
A Path to Faithful Formalizations of Mathematics
pp. 160
Flexible Encoding of Mathematics on the Computer
pp. 175
CPoint: Dissolving the Author’s Dilemma
pp. 190
On Diagrammatic Representation of Mathematical Knowledge
pp. 205
Predicate Logic with Sequence Variables and Sequence Function Symbols
pp. 220
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics
pp. 236
Theorem Proving and Proof Verification in the System SAD
pp. 251
Adaptive Access to a Proof Planner
pp. 265
Modeling Interactivity for Mathematics Learning by Demonstration
pp. 276
Extraction of Logical Structure from Articles in Mathematics
pp. 290
Improving Mizar Texts with Properties and Requirements
pp. 302
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
pp. 317
Intuitive and Formal Representations: The Case of Matrices
pp. 332
Mathematical Libraries as Proof Assistant Environments
pp. 347
Efficient Ambiguous Parsing of Mathematical Formulae
pp. 363
An Architecture for Distributed Mathematical Web Services
pp. 378
The Categorial Type of OpenMath Objects
Similar content
3,347
Costs and benefits of breeding in human-altered landscapes for the Eagle Owl Bubo bubo
Authors:
LUIGI MARCHESI
,
Fabrizio Sergio
,
Paolo Pedrini
GrOWL: A tool for visualization and editing of OWL ontologies
Authors:
S Krivov
,
R Williams
,
F Villa
Comparison of winter diet of Long‐eared Owls Asio otus (L. 1758) and Short‐eared Owls Asio flammeus (Pontoppidan, 1763) (Aves: Strigidae) in northern Turkey
Authors:
A. Sevtap Selcuk
,
K. Bankoğlu
,
H. KEFELIOGLU
See all similar
Cited by
3
Approximating Description Logic Classification for Semantic Web Reasoning
Authors:
Perry Groot
,
Heiner Stuckenschmidt
,
Holger Wache
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Authors:
Paul-Olivier Dehaye
,
Mihnea Iancu
,
Michael Kohlhase
…
A Survey on Retrieval of Mathematical Knowledge
Authors:
,
See all cited by