tag :: logics, description

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Congenial Benchmarking of RDF Storage Solutions
A. Ngonga Ngomo, F. Conrads, M. Pensel, and A. Turhan. Proceedings of the 10th International Conference on Knowledge Capture, page 213--221. New York, NY, USA, Association for Computing Machinery, (2019)
5 years ago by @dice-research
show all tags
benchmarks,
description
logics,
semantic
similarities
benchmarks,descriptionlogics,semanticsimilarities
(0)
copydeleteadd this publication to your clipboard
2Query-Driven Procedures for Hybrid MKNF Knowledge Bases
J. Alferes, M. Knorr, and T. Swift. ACM Trans. Comput. Logic, 14 (2): 16:1--16:43 (June 2013)
10 years ago by @diverzulu
show all tags
Hybrid
bases,
description
fragments,
knowledge
logics,
ontologies,
rules,
semantics
tabling,
tractable
well-founded
Hybridbases,descriptionfragments,knowledgelogics,ontologies,rules,semanticstabling,tractablewell-founded
(0)
copydeleteadd this publication to your clipboard
12Pellet: A practical OWL-DL reasoner
E. Sirin, B. Parsia, B. Grau, A. Kalyanpur, and Y. Katz. Web Semantics, 5 (2): 51--53 (2007)
13 years ago by @dfleischhacker
show all tags
Description
Language
Ontology
Proving,
Tableau
Theorem
Web
logics,
DescriptionLanguageOntologyProving,TableauTheoremWeblogics,
(0)
copydeleteadd this publication to your clipboard
3Ontology-based medical image annotation with description logics
B. Hu, S. Dasmahapatra, P. Lewis, and N. Shadbolt. Tools with Artificial Intelligence, 2003. Proceedings. 15th IEEE International Conference on, page 77--82. (2003)
15 years ago by @mozaher
show all tags
annotation,
approach,
breast
cancer
computing,
data-intensive
description
diagnosis,
diagnostic
evidence
image
image,
imaging
inference
information
interpretation,
interpretative
language
logics,
machine-based
management,
mechanisms,
medical
model,
natural
ontology,
ontology-based
operation,
phrases,
processing,
reasoning,
retrieval,
semantics,
semantics-based
semantics-rich
specialist
systems,
vocabulary
annotation,approach,breastcancercomputing,data-intensivedescriptiondiagnosis,diagnosticevidenceimageimage,imaginginferenceinformationinterpretation,interpretativelanguagelogics,machine-basedmanagement,mechanisms,medicalmodel,naturalontology,ontology-basedoperation,phrases,processing,reasoning,retrieval,semantics,semantics-basedsemantics-richspecialistsystems,vocabulary
(0)
copydeleteadd this publication to your clipboard
3Detecting inconsistencies between UML models using description logic
R. Van Der Straeten, J. Simmonds, and T. Mens. Proc. Int'l Workshop on Description Logics (DL), (September 2003)
17 years ago by @pdeleenh
show all tags
UML
description
logics,
UMLdescriptionlogics,
(0)
copydeleteadd this publication to your clipboard
4Supporting Model Refactorings through Behaviour Inheritance Consistencies
R. Van Der Straeten, V. Jonckers, and T. Mens. UML 2004 - The Unified Modeling Language, 3273, page 305--319. (October 2004)
17 years ago by @pdeleenh
show all tags
UML,
consistency
description
development,
inconsistency
logics,
maintenance,
management
model-driven
refactoring,
software
UML,consistencydescriptiondevelopment,inconsistencylogics,maintenance,managementmodel-drivenrefactoring,software
(0)
copydeleteadd this publication to your clipboard
4Using Description Logic in Object-Oriented Software Development
R. Van Der Straeten. Proc. Int'l Workshop on Description Logics (DL), (2002)
17 years ago by @pdeleenh
show all tags
UML
description
logics,
object-oriented,
UMLdescriptionlogics,object-oriented,
(0)
copydeleteadd this publication to your clipboard
1AI's 10 to Watch
D. Waltz. Intelligent Systems, 21 (3): 5--14 (January 2006)
17 years ago by @brazovayeye
show all tags
AI,
Semantic
Web
algorithmic
algorithms,
artificial
biology,
cognition,
coordination,
description
genetic
human
human-level
intelligence,
linguistics,
logics,
multi-agent
networks,
null
programming,
social
the
AI,SemanticWebalgorithmicalgorithms,artificialbiology,cognition,coordination,descriptiongenetichumanhuman-levelintelligence,linguistics,logics,multi-agentnetworks,nullprogramming,socialthe
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Congenial Benchmarking of RDF Storage Solutions

2Query-Driven Procedures for Hybrid MKNF Knowledge Bases

12Pellet: A practical OWL-DL reasoner

3Ontology-based medical image annotation with description logics

3Detecting inconsistencies between UML models using description logic

4Supporting Model Refactorings through Behaviour Inheritance Consistencies

4Using Description Logic in Object-Oriented Software Development

1AI's 10 to Watch

browse

related tags

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)8 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...