-
1
المؤلفون: Enrico Franconi, Francesco Sportelli
المصدر: Lecture Notes in Computer Science ISBN: 9783030332457
OTM Conferencesمصطلحات موضوعية: 050101 languages & linguistics, Computer science, business.industry, Programming language, 05 social sciences, Database schema, InformationSystems_DATABASEMANAGEMENT, 02 engineering and technology, Semantic reasoner, computer.software_genre, Semantics, Differentiation rules, Decidability, Diagrammatic reasoning, Software, Description logic, Unified Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Class diagram, Automated reasoning, business, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a393bfe2b3d80cbc3f7d4dd384e4f3a4
https://doi.org/10.1007/978-3-030-33246-4_42 -
2
المؤلفون: Enrico Franconi, Francesco Sportelli
المصدر: On the Move to Meaningful Internet Systems: OTM 2016 Conferences ISBN: 9783319484716
OTM Conferencesمصطلحات موضوعية: Computer science, Programming language, 02 engineering and technology, Semantic reasoner, computer.software_genre, Conceptual schema, Differentiation rules, Domain (software engineering), Description logic, Fragment (logic), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Automated reasoning, Inference engine, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4ebb3b778bcb385c94e8975e8ddc6504
https://doi.org/10.1007/978-3-319-48472-3_52 -
3
المؤلفون: Alessandro Mosca, Enrico Franconi
المصدر: Lecture Notes in Computer Science ISBN: 9783642410321
OTM Workshopsمصطلحات موضوعية: Theoretical computer science, Description logic, Fragment (logic), Computer science, Encoding (memory), Core (graph theory), Web Ontology Language, computer, Differentiation rules, computer.programming_language, Decidability, Zero (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ad3efbe5611f0ed9890635e36fb82631
https://doi.org/10.1007/978-3-642-41033-8_58 -
4
المؤلفون: Terry Halpin
المصدر: On the Move to Meaningful Internet Systems: OTM 2012 Workshops ISBN: 9783642336171
OTM Workshopsمصطلحات موضوعية: Finite model theory, Description logic, Computer science, Programming language, Information model, Formal semantics (linguistics), Object type, computer.software_genre, computer, Data type, Natural language, Differentiation rules
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a802ab35ebd5e466c71552f004d2ea5e
https://doi.org/10.1007/978-3-642-33618-8_49 -
5
المؤلفون: Boris Motik, Ian Horrocks, Birte Glimm
المساهمون: Giesl, J, Hähnle, R
المصدر: Automated Reasoning ISBN: 9783642142024
IJCARمصطلحات موضوعية: Theoretical computer science, Programming language, Computer science, Web Ontology Language, Semantic reasoner, Construct (python library), computer.software_genre, Blocking (computing), Differentiation rules, Description logic, State (computer science), Implementation, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5c4a5b1480c7801d840f48fa5d8ddda
https://doi.org/10.1007/978-3-642-14203-1_39 -
6
المؤلفون: Boris Motik, Ian Horrocks
المساهمون: Armando, A, Baumgartner, P, Dowek, G
المصدر: Automated Reasoning ISBN: 9783540710691
IJCARمصطلحات موضوعية: Programming language, Process (engineering), business.industry, Assertion, Semantic reasoner, Reuse, computer.software_genre, Differentiation rules, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Description logic, Artificial intelligence, business, computer, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29b415e2b07c5c831c8e466be241899b
https://doi.org/10.1007/978-3-540-71070-7_20 -
7
المؤلفون: Rob Shearer, Ian Horrocks, Boris Motik
المساهمون: Pfenning, F
المصدر: Automated Deduction – CADE-21 ISBN: 9783540735946
CADE
Scopus-Elsevierمصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Theoretical computer science, Horn clause, Knowledge representation and reasoning, Description logic, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Semantic reasoner, Semantic Web, Rotation formalisms in three dimensions, Differentiation rules, Axiom, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8bace47c43cfdbf2928b94c21e4a1b89
https://doi.org/10.1007/978-3-540-73595-3_6 -
8
المؤلفون: Guido Governatori, Duy Pham Hoang
المصدر: Rules and Rule Markup Languages for the Semantic Web ISBN: 9783540299226
RuleMLمصطلحات موضوعية: RuleML, Computer science, business.industry, Programming language, Deontic logic, Defeasible logic, computer.software_genre, ComputingMethodologies_ARTIFICIALINTELLIGENCE, Differentiation rules, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Description logic, Artificial intelligence, Inference engine, Architecture, business, Semantic Web, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3fc5094552051d9ac23f0ccb5bdbf424
https://doi.org/10.1007/11580072_12 -
9
المؤلفون: Antoni Olivé
المصدر: Notes on Numerical Fluid Mechanics and Multidisciplinary Design ISBN: 9783319981765
CAiSEمصطلحات موضوعية: Object-oriented programming, Theoretical computer science, Computer science, media_common.quotation_subject, Differentiation rules, Conceptual schema, Constant (computer programming), Description logic, Unified Modeling Language, Simple (abstract algebra), Conceptual model, Element (category theory), computer, media_common, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cc52ec15b7b2bcc01a882c7cf9115bc7
https://doi.org/10.1007/3-540-45017-3_28 -
10
المؤلفون: Antoni Olivé
المصدر: Notes on Numerical Fluid Mechanics and Multidisciplinary Design ISBN: 9783319981765
CAiSEمصطلحات موضوعية: Theoretical computer science, Computer science, InformationSystems_INFORMATIONSTORAGEANDRETRIEVAL, Constraint satisfaction, computer.software_genre, ComputingMethodologies_ARTIFICIALINTELLIGENCE, Differentiation rules, Description logic, Schema (psychology), Data integrity, Entity–relationship model, Taxonomy (biology), Data mining, Rule of inference, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b4218d284cfa01e2d0b1a271d267dd96
https://doi.org/10.1007/3-540-45341-5_28